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: 61,87 €, prix le plus élevé: 64,19 €, prix moyen: 63,69 €
Verification, Induction, Termination Analysis - Simon Siegler
Livre non disponible
(*)
Simon Siegler:
Verification, Induction, Termination Analysis - Livres de poche

2010, ISBN: 9783642171710

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - th This Festschrift is dedicated to Christoph Walther on the occasion of his 60 th birthday on August 9 , 2010. It consists of articles by some of his colleagues and former students, who, on this momentous occasion, chose to show their appreciation. Inteachingtheoreticalcomputerscience,Christophhas hadaprofoundin- ence onmany ofhis formerandcurrentstudents,notleastby the introductionof eriFun into the classroom. Outside of his teaching, developing eriFun played a major role in his recent research activities. When the idea for this Festschrift was rst presented to us, it quickly - came apparent that Christoph s work in the elds of veri cation, induction and termination analysis would be mirrored in the contributions, leading us to refer to this project as VITA . Since many of the authors have known Christoph for much longer than we have, we feel that the contributions themselves give a better insight into his f- mer and present work than we possibly could. On that note, we hope Christoph enjoys reading this Festschrift and wish him all the best for his future. The editors wouldlike to thank everyonewho showedinterestin this project, especially the authors for their contributions and the organisers of the col- quium. Furthermore we would like to thank Kai Sachs for his work in coordin- ing this Festschrift with Springer. Last, but certainly not least, Veronika Weber hasearnedourheartfeltgratitudewithherconstantguidanceandhelpfuladvice., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 241x159x13 mm, 143, [GW: 254g], offene Rechnung (Vorkasse vorbehalten), PayPal, Kreditkarte, Banküberweisung, Internationaler Versand

Nouveaux livres Booklooker.de
Buchhandlung - Bides GbR
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.
Verification, Induction, Termination Analysis - Simon Siegler
Livre non disponible
(*)
Simon Siegler:
Verification, Induction, Termination Analysis - Livres de poche

2010, ISBN: 9783642171710

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - th This Festschrift is dedicated to Christoph Walther on the occasion of his 60 th birthday on August 9 , 2010. It consists of articles by some of his colleagues and former students, who, on this momentous occasion, chose to show their appreciation. Inteachingtheoreticalcomputerscience,Christophhas hadaprofoundin- ence onmany ofhis formerandcurrentstudents,notleastby the introductionof eriFun into the classroom. Outside of his teaching, developing eriFun played a major role in his recent research activities. When the idea for this Festschrift was rst presented to us, it quickly - came apparent that Christoph's work in the elds of veri cation, induction and termination analysis would be mirrored in the contributions, leading us to refer to this project as 'VITA'. Since many of the authors have known Christoph for much longer than we have, we feel that the contributions themselves give a better insight into his f- mer and present work than we possibly could. On that note, we hope Christoph enjoys reading this Festschrift and wish him all the best for his future. The editors wouldlike to thank everyonewho showedinterestin this project, especially the authors for their contributions and the organisers of the col- quium. Furthermore we would like to thank Kai Sachs for his work in coordin- ing this Festschrift with Springer. Last, but certainly not least, Veronika Weber hasearnedourheartfeltgratitudewithherconstantguidanceandhelpfuladvice., DE, [SC: 0.00], Neuware, gewerbliches Angebot, FixedPrice, 143, [GW: 254g], offene Rechnung (Vorkasse vorbehalten), PayPal, Banküberweisung

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.
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Siegler, Simon (Herausgeber); Wasser, Nathan (Herausgeber)
Livre non disponible
(*)
Siegler, Simon (Herausgeber); Wasser, Nathan (Herausgeber):
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - nouveau livre

2010, ISBN: 3642171710

ID: A12488906

Edition Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informationssystem, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, AI ( Künstliche Intelligenz ), Netzwerk (elektronisch), mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]

Nouveaux livres Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Frais d'envoiVersandkostenfrei innerhalb der BRD (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, Induction, Termination Analysis als Buch von - Springer-Verlag GmbH
Livre non disponible
(*)
Springer-Verlag GmbH:
Verification, Induction, Termination Analysis als Buch von - nouveau livre

ISBN: 9783642171710

ID: 818427177

Verification, Induction, Termination Analysis ab 63.99 EURO Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Edition. Verification, Induction, Termination Analysis ab 63.99 EURO Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Edition. Bücher > English, International > Gebundene Ausgaben, [PU: Springer, Berlin/Heidelberg/New York, NY]

Nouveaux livres eBook.de
No. 13900996 Frais d'envoi, , DE (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, 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 12.10.2017 08:25:04
ISBN/EAN: 9783642171710

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


< pour archiver...
Livres en relation