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 … Plus…
ebay.de buchpark 98.5, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express, Priority Listing. Frais d'envoiVersandkostenfrei, 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 - Livres de poche
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… Plus…
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… Plus…
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 … Plus…
Springer.com new in stock. Frais d'envoizzgl. 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 Frais d'envoiVersand 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 … Plus…
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 - Livres de poche2011, 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… Plus…
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… Plus…
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 … Plus…
2011, ISBN: 9783642221095
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2011
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Computer Aided Verification
EAN (ISBN-13): 9783642221095
ISBN (ISBN-10): 3642221092
Version reliée
Livre de poche
Date de parution: 2011
Editeur: Springer Berlin
763 Pages
Poids: 1,140 kg
Langue: Englisch
Livre dans la base de données depuis 2007-03-12T07:28:50+01:00 (Paris)
Page de détail modifiée en dernier sur 2022-11-22T14:53:06+01:00 (Paris)
ISBN/EAN: 9783642221095
ISBN - Autres types d'écriture:
3-642-22109-2, 978-3-642-22109-5
Autres types d'écriture et termes associés:
Auteur du livre: gane, gopalakrishnan
Titre du livre: aid, computer, cav, usa, international conference proceedings, geo 2011, bird
Données de l'éditeur
Auteur: Ganesh Gopalakrishnan; Shaz Qadeer
Titre: 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
Editeur: Springer; Springer Berlin
763 Pages
Date de parution: 2011-07-05
Berlin; Heidelberg; DE
Langue: Anglais
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
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
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)
< pour archiver...