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 … Mehr…
ebay.de buchpark 98.5, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express, Priority Listing. Versandkosten: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 - Taschenbuch
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… Mehr…
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… Mehr…
booklooker.de |
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 … Mehr…
Springer.com new in stock. Versandkosten: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 Versandkosten: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 … Mehr…
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 - Taschenbuch2011, 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… Mehr…
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… Mehr…
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 … Mehr…
2011, ISBN: 9783642221095
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2011
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Aided Verification
EAN (ISBN-13): 9783642221095
ISBN (ISBN-10): 3642221092
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2011
Herausgeber: Springer Berlin
763 Seiten
Gewicht: 1,140 kg
Sprache: Englisch
Buch in der Datenbank seit 2007-03-12T07:28:50+01:00 (Berlin)
Detailseite zuletzt geändert am 2022-11-22T14:53:06+01:00 (Berlin)
ISBN/EAN: 9783642221095
ISBN - alternative Schreibweisen:
3-642-22109-2, 978-3-642-22109-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gane, gopalakrishnan
Titel des Buches: aid, computer, cav, usa, international conference proceedings, geo 2011, bird
Daten vom Verlag:
Autor/in: Ganesh Gopalakrishnan; Shaz Qadeer
Titel: 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
Verlag: Springer; Springer Berlin
763 Seiten
Erscheinungsjahr: 2011-07-05
Berlin; Heidelberg; DE
Sprache: Englisch
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
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)
< zum Archiv...