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 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Daniel Kroening
Codul Libristo: 09372120
Editura Springer International Publishing AG, iulie 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Leftin
La génération Z et le luxe Eric Briones (dit Darkplanneur) / Carte Carte broșată
common.buy 110.73 lei
Vánoční koledy Vladimíra Vopičková / Carte Copertă tare
common.buy 18.86 lei
Klube & THE BATES Christof Dörr / Carte Carte broșată
common.buy 100.10 lei
EL SIGNO DEL DRAGÓN RICARDO ALIA / Carte Copertă tare
common.buy 70.38 lei
SICILIA PHILIPPE GLOAGUEN / Carte Copertă tare
common.buy 138.78 lei
Nouvelle Biblioth?que Germanique... Jean-Henri-Samuel Formey / Carte Carte broșată
common.buy 165.06 lei
Inspirationen zu Franz Marc "Skizzen aus dem Felde" Maria-Anna Bäuml-Roßnagl / Carte Carte broșată
common.buy 178.93 lei
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle) Monika Müller / Joc / Jucărie Joc
common.buy 159.85 lei
Sagen aus Franken Susanne Rebscher / Carte Copertă tare
common.buy 78.82 lei
Russlands landlische Zustande Julius Wilhelm Albert von Eckardt / Carte Carte broșată
common.buy 114.38 lei
Diario de un viejo terminal Zamir Bechara / Carte Carte broșată
common.buy 123.56 lei
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General MARTOS NAVARRO / Carte Carte broșată
common.buy 176.95 lei
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas Gail Damerow / Carte Carte broșată
common.buy 278.62 lei
Reise durch Barcelona Andreas Drouve / Carte Copertă tare
common.buy 100.10 lei
Die 101 wichtigsten Fragen - Rassismus Susan Arndt / Carte Carte broșată
common.buy 55.57 lei
Clemens Brentano Detlev Lüders / Carte Copertă tare
common.buy 659.03 lei
L.A. Nudes Confidential Sean McCall / Carte Copertă tare
common.buy 165.90 lei
Juwikinger - Erster Teil Olav Duun / Carte Copertă tare
common.buy 173.72 lei
Stunden-Buch Rainer Maria Rilke / Carte Carte broșată
common.buy 50.36 lei

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

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 Daniel Kroening, Corina S. Pasareanu
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 677
EAN 9783319216898
ISBN 3319216899
Codul Libristo 09372120
Editura Springer International Publishing AG
Greutatea 1048
Dimensiuni 155 x 235 x 40

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

Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Carte Carte broșată
common.buy 570.50 lei
Curând
Introduction to International Relations Richard Devetak / Carte Carte broșată
common.buy 393.95 lei
Spice Secret Billie Holladay Skelley / Carte Carte broșată
common.buy 34.92 lei
Amber Waves Sharon Schenbeck / Carte Carte broșată
common.buy 57.13 lei
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Carte Carte broșată
common.buy 107.92 lei
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Carte Copertă tare
common.buy 221.06 lei
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Carte Copertă tare
common.buy 190.40 lei
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digital Digital online
common.buy 303.12 lei
Revival: Nietzsche in Context (2001) Robin Small / Carte Carte broșată
common.buy 350.05 lei
Top
Lean Change Management Jason Little / Carte Carte broșată
common.buy 151.61 lei
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Carte Copertă tare
common.buy 189.98 lei
Because He Loves Me Dana M Watson / Carte Carte broșată
common.buy 106.56 lei
Top
Spanish English Illustrated Dictionary DK / Carte Carte broșată
common.buy 118.97 lei
Intimate: An American Family Photo Album Paisley Rekdal / Carte Copertă tare
common.buy 157.45 lei
Dear Mr. Nelson Kenneth E Nelson / Carte Copertă tare
common.buy 164.12 lei
Curând
NATIONALISM Richard Allen Sauers / Carte Copertă tare
common.buy 267.78 lei
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Carte Copertă tare
common.buy 771.54 lei
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Carte Carte broșată
common.buy 566.53 lei
Chicano Frankenstein Daniel A. Olivas / Audiobook MP3
common.buy 105.52 lei
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Carte Carte broșată
common.buy 854.96 lei
Chemical Genomics Edward D. Zanders / Carte Carte broșată
common.buy 596.25 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