- 5 Résultats
prix le plus bas: € 30,45, prix le plus élevé: € 109,99, prix moyen: € 77,26
1
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, U - Gopalakrishnan, Ganesh und Shaz Qadeer
Commander
sur ebay.de
€ 30,45
Envoi: € 0,001
CommanderLien sponsorisé
Gopalakrishnan, Ganesh und Shaz Qadeer:

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, U - livre d'occasion

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…

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) buchpark
2
Computer Aided Verification  23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings  Ganesh Gopalakrishnan (u. a.)  Taschenbuch  Book  Englisch  2011 - Gopalakrishnan, Ganesh
Commander
sur booklooker.de
€ 31,90
Envoi: € 0,001
CommanderLien sponsorisé

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 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…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
3
Computer Aided Verification - Ganesh Gopalakrishnan
Commander
sur booklooker.de
€ 109,99
Envoi: € 0,001
CommanderLien sponsorisé
Ganesh Gopalakrishnan:
Computer Aided Verification - Livres de poche

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…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) buchversandmimpf2000
4
Computer Aided Verification - Ganesh Gopalakrishnan; Shaz Qadeer
Commander
sur Springer.com
€ 106,99
Envoi: € 0,001
CommanderLien sponsorisé
Ganesh Gopalakrishnan; Shaz Qadeer:
Computer Aided Verification - Livres de poche

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…

new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00)
5
Computer Aided Verification - Ganesh Gopalakrishnan; Shaz Qadeer
Commander
sur lehmanns.de
€ 106,99
Envoi: € 0,001
CommanderLien sponsorisé
Ganesh Gopalakrishnan; Shaz Qadeer:
Computer Aided Verification - Livres de poche

2011, ISBN: 9783642221095

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2011

Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00)

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre

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: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; 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)


< pour archiver...