Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Livres de poche
2005, ISBN: 3540311394
[EAN: 9783540311393], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. QUALITÄTSSICHERUNG, QUALITÄT; FACTOR; REFACTORING; ABSTRACTION; ALGORITHMS; COMPLEXITY; DESIG… Plus…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
2005, ISBN: 9783540311393
Editor: Emerson, E. Allen, Editor: Namjoshi, Kedar S. Springer, Paperback, Auflage: 2006, 454 Seiten, Publiziert: 2005-12-19T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.6… Plus…
amazon.co.uk swestbooks Gebraucht, wie neu. Frais d'envoiUsually dispatched within 12 to 13 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.60) Details... |
2005, ISBN: 9783540311393
Editor: Emerson, E. Allen, Editor: Namjoshi, Kedar S. Springer, Paperback, Auflage: 2006, 454 Seiten, Publiziert: 2005-12-19T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.6… Plus…
amazon.co.uk |
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science (3855)) by Emerson, E. Allen, Namjoshi, Kedar S. [Paperback ] - Livres de poche
2005, ISBN: 3540311394
[EAN: 9783540311393], Neubuch, [PU: Springer], Books
AbeBooks.de booksXpress, Bayonne, NJ, U.S.A. [71410708] [Rating: 4 (von 5)] NEW BOOK. Frais d'envoi EUR 8.22 Details... |
Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Livres de poche
2006, ISBN: 9783540311393
paperback, [PU: Springer, Berlin/Heidelberg]
Blackwells.co.uk |
Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Livres de poche
2005, ISBN: 3540311394
[EAN: 9783540311393], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. QUALITÄTSSICHERUNG, QUALITÄT; FACTOR; REFACTORING; ABSTRACTION; ALGORITHMS; COMPLEXITY; DESIG… Plus…
2005, ISBN: 9783540311393
Editor: Emerson, E. Allen, Editor: Namjoshi, Kedar S. Springer, Paperback, Auflage: 2006, 454 Seiten, Publiziert: 2005-12-19T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.6… Plus…
2005
ISBN: 9783540311393
Editor: Emerson, E. Allen, Editor: Namjoshi, Kedar S. Springer, Paperback, Auflage: 2006, 454 Seiten, Publiziert: 2005-12-19T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.6… Plus…
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science (3855)) by Emerson, E. Allen, Namjoshi, Kedar S. [Paperback ] - Livres de poche
2005, ISBN: 3540311394
[EAN: 9783540311393], Neubuch, [PU: Springer], Books
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855)
EAN (ISBN-13): 9783540311393
ISBN (ISBN-10): 3540311394
Livre de poche
Date de parution: 2005
Editeur: Springer
460 Pages
Poids: 0,690 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2007-03-21T20:08:17+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-08T20:00:06+01:00 (Paris)
ISBN/EAN: 3540311394
ISBN - Autres types d'écriture:
3-540-31139-4, 978-3-540-31139-3
Autres types d'écriture et termes associés:
Auteur du livre: emerson, kedar, allen, charleston
Titre du livre: theoretical computer science, 2006, verification model checking abstract interpretation, charleston conference proceedings, international model, model interpretations, usa and away, say this the usa, 7th international
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783030393212 Verification, Model Checking, and Abstract Interpretation (Dirk Beyer; Damien Zufferey)
- 9783030393212 Verification, Model Checking, and Abstract Interpretation (Dirk Beyer; Damien Zufferey)
- 9783030112455 Verification, Model Checking, and Abstract Interpretation (Constantin Enea; Ruzica Piskac)
- 9783030112448 Verification, Model Checking, and Abstract Interpretation (Constantin Enea; Ruzica Piskac)
- Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings ... Science Book 9583) (English Edition) (Kenneth McMillan)
< pour archiver...