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: 31,22 €, prix le plus élevé: 53,49 €, prix moyen: 46,44 €
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Band 6463) - Simon Siegler, Nathan Wasser
Livre non disponible
(*)
Simon Siegler, Nathan Wasser:
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Band 6463) - Livres de poche

ISBN: 3642171710

[SR: 2488735], Taschenbuch, [EAN: 9783642171710], Springer, Springer, Book, [PU: Springer], Springer, 63355011, Künstliche Intelligenz, 63336011, Informatik, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 1322697031, Netzwerke & Internet, 63681011, Hardware, 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, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

livre d'occasion Amazon.de (Intern...
ausverkauf
Gebraucht. Frais d'envoiInnerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (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, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Band 6463) - Simon Siegler, Nathan Wasser
Livre non disponible
(*)
Simon Siegler, Nathan Wasser:
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Band 6463) - Livres de poche

ISBN: 3642171710

[SR: 2488735], Taschenbuch, [EAN: 9783642171710], Springer, Springer, Book, [PU: Springer], Springer, 63355011, Künstliche Intelligenz, 63336011, Informatik, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 1322697031, Netzwerke & Internet, 63681011, Hardware, 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, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

Nouveaux livres Amazon.de (Intern...
Amazon.de
Neuware. Frais d'envoiVersandkostenfrei innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Gewöhnlich versandfertig in 24 Stunden. (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Gebr. - Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Comput
Livre non disponible
(*)
Gebr. - Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Comput - nouveau livre

2018, ISBN: 9783642171710

ID: 5cdba5b5da03a38ddf8e954bebd51614

Letzte Aktualisierung am: 30.06.2018 07:06:36 Binding: Taschenbuch, Edition: 2010, Label: Springer, Publisher: Springer, PackageQuantity: 1, medium: Taschenbuch, numberOfPages: 145, publicationDate: 2010-11-16, publishers: Simon Siegler, Nathan Wasser, languages: english, ISBN: 3642171710 Bücher, Simon Siegler -

Nouveaux livres Medimops.de
Nr. M03642171710LibriNew. Frais d'envoi0, 1-3 Tage, zzgl. 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.
Gebr. - Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Comput
Livre non disponible
(*)
Gebr. - Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Comput - nouveau livre

2018, ISBN: 9783642171710

ID: 5cdba5b5da03a38ddf8e954bebd51614

Letzte Aktualisierung am: 23.05.2018 07:09:34 Binding: Taschenbuch, Edition: 2010, Label: Springer, Publisher: Springer, PackageQuantity: 1, medium: Taschenbuch, numberOfPages: 145, publicationDate: 2010-11-16, publishers: Simon Siegler, Nathan Wasser, languages: english, ISBN: 3642171710 Bücher, Simon Siegler -

Nouveaux livres Medimops.de
Nr. M03642171710LibriNew. Frais d'envoi0, 1-3 Tage, zzgl. 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, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Simon Siegler
Livre non disponible
(*)
Simon Siegler:
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Livres de poche

ISBN: 9783642171710

ID: 9783642171710

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday Verification-Induction-Termination-Analysis~~Simon-Siegler Technology Programming>Xxxsoftware Engr>* Desc Unknown Paperback, Springer Berlin Heidelberg

Nouveaux livres Barnesandnoble.com
new 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.

Détails sur le livre
Verification, Induction, Termination Analysis

This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthdays of Alejandro P. Buchmann, Sorin A. Huss and Christoph Walther, a colloquium was held on November 19th, 2010 in Darmstadt, Germany. The articles collected herein cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis. Together they give a good overall perspective on the formal verification of the correctness of software systems.

Informations détaillées sur le livre - Verification, Induction, Termination Analysis


EAN (ISBN-13): 9783642171710
ISBN (ISBN-10): 3642171710
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer-Verlag GmbH
143 Pages
Poids: 0,254 kg
Langue: eng/Englisch

Livre dans la base de données depuis 10.03.2009 12:02:44
Livre trouvé récemment le 01.07.2018 14:21:21
ISBN/EAN: 9783642171710

ISBN - Autres types d'écriture:
3-642-17171-0, 978-3-642-17171-0


< pour archiver...
Livres en relation