. .
Français
France
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 106,99 €, prix le plus élevé: 123,02 €, prix moyen: 110,20 €
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Livre non disponible
(*)

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - nouveau livre

2011, ISBN: 9783642221095

ID: 978364222109

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). Books, Computers, Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings Books>Computers, Springer Berlin Heidelberg

Nouveaux livres Indigo.ca
new Free shipping on orders above $25 Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Computer Aided Verification - Ganesh Gopalakrishnan
Livre non disponible
(*)

Ganesh Gopalakrishnan:

Computer Aided Verification - Livres de poche

2011, ISBN: 9783642221095

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - pThis book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011./p pThe 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)./p, [SC: 0.00], Neuware, gewerbliches Angebot, FixedPrice, [GW: 1163g]

Nouveaux livres Booklooker.de
Buchhandlung Kühn GmbH
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Computer Aided Verification - Ganesh Gopalakrishnan
Livre non disponible
(*)
Ganesh Gopalakrishnan:
Computer Aided Verification - Livres de poche

5

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 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)., [SC: 0.00], Neuware, gewerbliches Angebot, 240x159x42 mm, [GW: 1163g]

Nouveaux livres Booklooker.de
buchZ AG
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Computer Aided Verification - Ganesh Gopalakrishnan
Livre non disponible
(*)
Ganesh Gopalakrishnan:
Computer Aided Verification - Livres de poche

2011, 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 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)., [SC: 0.00], Neuware, gewerbliches Angebot, 240x159x42 mm, [GW: 1140g]

Nouveaux livres Booklooker.de
Sellonnet GmbH
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Computer Aided Verification - Ganesh Gopalakrishnan
Livre non disponible
(*)
Ganesh Gopalakrishnan:
Computer Aided Verification - Livres de poche

2011, ISBN: 9783642221095

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - pThis book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011./p pThe 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)./p, [SC: 4.50]

Nouveaux livres Booklooker.de
buchversandmimpf2000
Frais d'envoiVersand nach Deutschland (EUR 4.50)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

< Retour aux résultats de recherche...
Détails sur le livre
Computer Aided Verification
Auteur:

Ganesh Gopalakrishnan

Titre:

Computer Aided Verification

ISBN:

9783642221095

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-Verlag GmbH
763 Pages
Poids: 1,140 kg
Langue: Englisch

Livre dans la base de données depuis 12.03.2007 07:28:50
Livre trouvé récemment le 22.07.2016 13:03:07
ISBN/EAN: 9783642221095

ISBN - Autres types d'écriture:
3-642-22109-2, 978-3-642-22109-5

< Retour aux résultats de recherche...
< pour archiver...
Livres en relation