2011, ISBN: 3642221092
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings. Neubindung, Buchrücken leicht eingerissen und geklebt, Buchumschlag … Altro …
| ebay.de buchpark 98.5, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express, Priority Listing. Costi di spedizione:Versandkostenfrei, Versand zum Fixpreis, [SHT: Standardversand], 14*** Trebbin, [TO: Deutschland, USA, Großbritannien, Frankreich, Italien, Spanien, Österreich, Polen, Schweiz, Belgien] (EUR 0.00) Details... |
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings Ganesh Gopalakrishnan (u. a.) Taschenbuch Book Englisch 2011 - edizione con copertina flessibile
2011, ISBN: 9783642221095
[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, U… Altro …
| booklooker.de |
2005, ISBN: 9783642221095
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held… Altro …
| booklooker.de buchversandmimpf2000 Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2011, ISBN: 9783642221095
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full … Altro …
| Springer.com new in stock. Costi di spedizione:zzgl. Versandkosten. (EUR 0.00) Details... |
2011, ISBN: 9783642221095
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2011
| lehmanns.de Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2011, ISBN: 3642221092
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings. Neubindung, Buchrücken leicht eingerissen und geklebt, Buchumschlag … Altro …
Gopalakrishnan, Ganesh:
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings Ganesh Gopalakrishnan (u. a.) Taschenbuch Book Englisch 2011 - edizione con copertina flessibile2011, ISBN: 9783642221095
[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, U… Altro …
2005
ISBN: 9783642221095
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held… Altro …
2011, ISBN: 9783642221095
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full … Altro …
2011, ISBN: 9783642221095
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2011
Dati bibliografici del miglior libro corrispondente
| Autore: | |
| Titolo: | |
| ISBN: |
Informazioni dettagliate del libro - Computer Aided Verification
EAN (ISBN-13): 9783642221095
ISBN (ISBN-10): 3642221092
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2011
Editore: Springer Berlin
763 Pagine
Peso: 1,140 kg
Lingua: Englisch
Libro nella banca dati dal 2007-03-12T07:28:50+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2022-11-22T14:53:06+01:00 (Zurich)
ISBN/EAN: 3642221092
ISBN - Stili di scrittura alternativi:
3-642-22109-2, 978-3-642-22109-5
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : gane, gopalakrishnan
Titolo del libro: aid, computer, cav, usa, international conference proceedings, geo 2011, bird
Dati dell'editore
Autore: Ganesh Gopalakrishnan; Shaz Qadeer
Titolo: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Editore: Springer; Springer Berlin
763 Pagine
Anno di pubblicazione: 2011-07-05
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XV, 763 p. 180 illus., 46 illus. in color.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; context-free languages; model checking; simulation; software testing; symbolic techniques; Computer Science Logic and Foundations of Programming; Software Engineering; Compilers and Interpreters; Formal Languages and Automata Theory; Programming Techniques; Artificial Intelligence; Software Engineering; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; EA
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Frontiers in Analog Circuit Synthesis and Verification (FAC 2011), International Workshop on Satisfiability Modulo Theories, including SMTCOMP (SMT 2011), 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis for Concurrent Systems (PSY 2011).Fast track proceedings
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
0003540631666 Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science (1254), Band 1254) (Grumberg, Orna)
- 0003540631666 Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science (1254), Band 1254) (Grumberg, Orna)
- 9783030037680 Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings Christian Colombo Editor (Herausgegeben:Leucker, Martin; Colombo, Christian)
- 9783030255398 Computer Aided Verification by Isil Dillig Paperback | Indigo Chapters (Dillig, Isil / Dillig, Isil (Hrsg.) / Tasiran, Serdar / Tasiran, Serdar (Hrsg.))
- 9783642221101 Computer Aided Verification (Ganesh Gopalakrishnan; Shaz Qadeer)
- 9780387569222 Computer Aided Verification: 5th International Conference, Cav '93 Eloybdam Greece, June 28-July 1, 1993 Proceedings (Lecture Notes in Computer Science) (Editor-Costas Courcoubetis)
< Per archiviare...