Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783642171710 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 47,78 €, größter Preis: 64,19 €, Mittelwert: 60,40 €
Verification, Induction, Termination Analysis - Simon Siegler
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Simon Siegler:
Verification, Induction, Termination Analysis - Taschenbuch

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

Neues Buch Booklooker.de
Buchhandlung - Bides GbR
Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Verification, Induction, Termination Analysis - Simon Siegler
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Simon Siegler:
Verification, Induction, Termination Analysis - Taschenbuch

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

Neues Buch Booklooker.de
Buchhandlung Kühn GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Siegler, Simon / Wasser, Nathan
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Siegler, Simon / Wasser, Nathan:
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday - gebrauchtes Buch

2010, ISBN: 9783642171710

ID: 11372865

This Festschrift volume, published in honor of ChristophWalther, 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. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday Siegler, Simon / Wasser, Nathan, Springer

gebrauchtes bzw. antiquarisches Buch Betterworldbooks.com
Versandkosten:zzgl. Versandkosten.
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Verification, Induction, Termination Analysis als Buch von - Springer-Verlag GmbH
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Springer-Verlag GmbH:
Verification, Induction, Termination Analysis als Buch von - neues Buch

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]

Neues Buch eBook.de
No. 13900996 Versandkosten:, , DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Simon Siegler
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Simon Siegler:
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Taschenbuch

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

Neues Buch Barnesandnoble.com
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
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.

Detailangaben zum Buch - Verification, Induction, Termination Analysis


EAN (ISBN-13): 9783642171710
ISBN (ISBN-10): 3642171710
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer-Verlag GmbH
143 Seiten
Gewicht: 0,254 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 10.03.2009 12:02:44
Buch zuletzt gefunden am 13.12.2017 19:45:51
ISBN/EAN: 9783642171710

ISBN - alternative Schreibweisen:
3-642-17171-0, 978-3-642-17171-0


< zum Archiv...
Benachbarte Bücher