Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 17.50 lei Urgent Cargus 30.50 lei Easybox 22.50 lei Punct FAN 18.50 lei Punct DPD 19.50 lei Curier DPD 27.50 lei FAN Courier 27.50 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Armin Biere
Codul Libristo: 02775219
Editura Springer International Publishing AG, august 2014
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verific... Descrierea completă
? points 249 b
547.58 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Isola d'Elba e Pianosa Russo William Dello / Carte Carte broșată
common.buy 84.45 lei
Moneta Regis: Konigliche Munzstatten Und Konigliche Munzpolitik in Der Stauferzeit Norbert Kamp / Carte Copertă tare
common.buy 555.03 lei
Tief ist der Brunnen der Vergangenheit Gerhard Danzer / Carte Copertă tare
common.buy 155.44 lei
Sneaker Obsession Pauwels / Carte Carte broșată
common.buy 107.08 lei
The Compound Effect Darren Hardy / Carte Carte broșată
common.buy 110.80 lei
Lessings Werke Gotthold E. Lessing / Carte Carte broșată
common.buy 400.28 lei
Mut ist der Anfang vom Gluck Heike Karen Gurtler / E-book Adobe ePub DRM
common.buy 70.58 lei
Sestra lovca bosoriek Beth Underdown / Carte Copertă tare
common.buy 49.26 lei
Imageanalyse der TSG Ludwigshafen-Friesenheim Sebastian Bronner / Carte Carte broșată
common.buy 240.91 lei
Procvičujeme si Psaní y/ý a i/í po tvrdých a měkkých souhláskách a psaní ě Vlasta Švejdová / Carte Carte broșată
common.buy 13.56 lei
Abalone Go Michel Lalet / Joc / Jucărie Joc
common.buy 73.59 lei
CD MP3 Pęknięte królestwo Renata Czarnecka / Audiobook Audiobook
common.buy 46.54 lei
Kulturelle Diversitat und die Modeklammer - der Einfluss von kultureller Diversitat auf international agierende Unternehmen in der Modebranche Johannes Lenhard / Carte Carte broșată
common.buy 96.01 lei
DAN DA DAN 14 Yukinobu Tatsu / Carte Carte broșată
common.buy 51.47 lei
Harry Potter - Kit de pâtisserie et moules - Fabrique ton Vif d'Or en chocolat ! The Wizarding World / Carte Copertă tare
common.buy 91.19 lei
Charles Hueber, le maire oublié de Strasbourg KRIEGER / Carte Carte broșată
common.buy 158.66 lei
Láska moja sa stráca Ján Smrek / Carte Copertă tare
common.buy 85.46 lei
Elliott Erwitt's Rome Elliott Erwitt / Carte Copertă tare
common.buy 455.28 lei
Schott Master Class Cello, m. 2 DVDs Maria Kliegel / Carte Copertă tare
common.buy 368.00 lei
Hubert und Staller. Staffel.4, 6 DVDs Christian Tramitz / Videoclip DVD
common.buy 128.79 lei
Bates Motel. Season.3, 3 DVDs Vera Farmiga / Videoclip DVD
common.buy 128.56 lei
Die Berechnung des Waldkapitals Theodor Glaser / Carte Carte broșată
common.buy 150.81 lei
Un prince sans royaume Timothée de Fombelle / Carte Carte broșată
common.buy 60.02 lei
PALABRAS QUE NOS SOSTIENEN / Carte Carte broșată
common.buy 104.39 lei

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.§§The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computer Aided Verification
Autor Armin Biere, Roderick Bloem
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 877
EAN 9783319088662
ISBN 3319088661
Codul Libristo 02775219
Editura Springer International Publishing AG
Greutatea 1352
Dimensiuni 155 x 235 x 48

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer networking & communications
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Dynamic Systems Models Josif A. Boguslavskiy / Carte Copertă tare
common.buy 547.58 lei
Shades of Earl Grey Laura Childs / Carte Carte broșată
common.buy 40.41 lei
The Garret and The Garden Robert Michael Ballantyne / Carte Carte broșată
common.buy 38.50 lei
Land Transfer Reform, Or, the Free Transfer of Land: Scientific Registration and Indexing of Land Records, Including Explanation of Proposed Legislati Dwight Hinckley Olmstead / Carte Carte broșată
common.buy 90.38 lei
Criticism of the New Testament Francis Crawford Burkitt / Carte Copertă tare
common.buy 186.61 lei
BEAUCHAMP: OR THE WHEEL OF FORTUNE JAMES HOLR FIELDING / Carte Copertă tare
common.buy 224.42 lei
Kicad - Getting Started in Kicad David Jahshan / Carte Carte broșată
common.buy 111.00 lei
Censored 1996: The 1996 Project Censored Yearbook Carl Jensen / Carte Carte broșată
common.buy 76.51 lei
Omega Factor John G. Henning / Carte Carte broșată
common.buy 94.51 lei
From the Garden Michael Dahl / Carte Carte broșată
common.buy 48.76 lei
How to Read the Chinese Novel David L. Rolston / Carte Carte broșată
common.buy 625.81 lei
Encyclopedia of Card Tricks Glenn Gravatt / Carte Carte broșată
common.buy 83.75 lei
Classification of Pseudo-reductive Groups (AM-191) Gopal Prasad / Carte Carte broșată
common.buy 613.95 lei
Elephants Can't Hide Forever Pete Plenge / Carte Carte broșată
common.buy 80.93 lei
Moncada Webster Hare Paul Webster Hare / Carte Carte broșată
common.buy 100.04 lei
Laird's Luck and Other Fireside Tales A T Quiller-Couch / Carte Carte broșată
common.buy 110.39 lei
Fundamental Research in Moral Development Bill Puka / Carte Copertă tare
common.buy 423.20 lei
Mobilizing India Tejaswini Niranjana / Carte Carte broșată
common.buy 215.67 lei
Functional Foods and Nutraceuticals in Cancer Prevention Ronald Ross Watson / Carte Copertă tare
common.buy 1 312.16 lei
Organizational Sweet Spot Charles Ehin / Carte Copertă tare
common.buy 334.32 lei
Alphabet Fun: B is for Banana Nick Rebman / Carte Copertă tare
common.buy 168.41 lei
On the Edge / Carte Carte broșată
common.buy 94.51 lei
Lawbreaker Diana Palmer / Audiobook MP3
common.buy 83.55 lei
Top
Musculoskeletal Ultrasound for the Rheumatologist George A.W. Bruyn / Carte Carte broșată
common.buy 535.72 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?