. .
Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 44,23 €, prix le plus élevé: 111,16 €, prix moyen: 76,29 €
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science) - E. Allen Emerson, Kedar S. Namjoshi
Livre non disponible
(*)
E. Allen Emerson, Kedar S. Namjoshi:
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science) - Livres de poche

2006, ISBN: 3540311394

[SR: 8520110], Paperback, [EAN: 9783540311393], Springer, Springer, Book, [PU: Springer], 2008-06-13, Springer, The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods., 269656, Architecture & Microprocessors, 269265, Computer Science, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269709, Algorithms, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269795, Compilers, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14166501, Introduction to Programming, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 404252, Languages, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269776, Languages & Tools, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159961, Functional Programming, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159951, Software Architecture, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books

Nouveaux livres Amazon.co.uk
The London Lane Company
, Neuware Frais d'envoiEuropa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 1-2 business days (EUR 4.80)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science) - E. Allen Emerson, Kedar S. Namjoshi
Livre non disponible
(*)
E. Allen Emerson, Kedar S. Namjoshi:
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science) - Livres de poche

2006, ISBN: 3540311394

[SR: 3274614], Taschenbuch, [EAN: 9783540311393], Springer, Springer, Book, [PU: Springer], Springer, 63418011, Sprachen & Tools, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher

livre d'occasion Amazon.de (Intern...
Nearfine
Gebraucht Frais d'envoiInnerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Verification, Model Checking, and Abstract Interpretation - E. Allen Emerson#Kedar S. Namjoshi
Livre non disponible
(*)
E. Allen Emerson#Kedar S. Namjoshi:
Verification, Model Checking, and Abstract Interpretation - nouveau livre

2006, ISBN: 9783540311393

ID: 186740691

PThe 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods./P 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings Bücher > Fremdsprachige Bücher > Englische Bücher Taschenbuch 19.12.2005 Buch (fremdspr.), Springer, .200

Nouveaux livres Buch.ch
No. 11422150 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.
Verification, Model Checking, and Abstract Interpretation - E. Allen Emerson; Kedar S. Namjoshi
Livre non disponible
(*)
E. Allen Emerson; Kedar S. Namjoshi:
Verification, Model Checking, and Abstract Interpretation - nouveau livre

ISBN: 9783540311393

ID: 9783540311393

Computer Science; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters Factor, Refactoring, abstraction, algorithms, complexity, design, model checking, program analysis, program invariants, program semantics, program verification, programming, programming calculi, structured analysis, verification Books Book, Springer Science+Business Media

Nouveaux livres Springer.com
Frais d'envoi EUR 0.00
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... Computer Science and General Issues) - E. Allen Emerson (Editor), Kedar S. Namjoshi (Editor)
Livre non disponible
(*)
E. Allen Emerson (Editor), Kedar S. Namjoshi (Editor):
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... Computer Science and General Issues) - Livres de poche

2006, ISBN: 9783540311393

ID: 599403589

Springer, 2006-02-10. 2006. Paperback. Used:Good., Springer, 2006-02-10

livre d'occasion Biblio.com
Ergodebooks
Frais d'envoi EUR 12.85
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
Verification, Model Checking, and Abstract Interpretation

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.

Informations détaillées sur le livre - Verification, Model Checking, and Abstract Interpretation


EAN (ISBN-13): 9783540311393
ISBN (ISBN-10): 3540311394
Livre de poche
Date de parution: 2005
Editeur: Springer-Verlag GmbH
460 Pages
Poids: 0,690 kg
Langue: eng/Englisch

Livre dans la base de données depuis 21.03.2007 20:08:17
Livre trouvé récemment le 24.07.2017 17:26:26
ISBN/EAN: 9783540311393

ISBN - Autres types d'écriture:
3-540-31139-4, 978-3-540-31139-3


< pour archiver...
Livres en relation