. .
Nederlands
Nederland
Aanmelden
De tip van euro-boek.nl
Soortgelijke boeken
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Zoekfuncties
boekentips
actueel
Advertentie
FILTER
- 0 resultaten
laagste prijs: 61,87 €, hoogste prijs: 64,19 €, gemiddelde prijs: 63,69 €
Verification, Induction, Termination Analysis - Simon Siegler
uitverkocht boek
(*)
Simon Siegler:
Verification, Induction, Termination Analysis - pocketboek

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

Nieuw boek Booklooker.de
Buchhandlung - Bides GbR
Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Verification, Induction, Termination Analysis - Simon Siegler
uitverkocht boek
(*)
Simon Siegler:
Verification, Induction, Termination Analysis - pocketboek

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

Nieuw boek Booklooker.de
Buchhandlung Kühn GmbH
Verzendingskosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Siegler, Simon (Herausgeber); Wasser, Nathan (Herausgeber)
uitverkocht boek
(*)
Siegler, Simon (Herausgeber); Wasser, Nathan (Herausgeber):
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - nieuw boek

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]

Nieuw boek Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Verzendingskosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Verification, Induction, Termination Analysis als Buch von - Springer-Verlag GmbH
uitverkocht boek
(*)
Springer-Verlag GmbH:
Verification, Induction, Termination Analysis als Buch von - nieuw boek

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]

Nieuw boek eBook.de
No. 13900996 Verzendingskosten:, , DE (EUR 0.00)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Simon Siegler
uitverkocht boek
(*)
Simon Siegler:
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday - pocketboek

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

Nieuw boek Barnesandnoble.com
new Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.

Bijzonderheden over het boek
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.

Gedetalleerde informatie over het boek. - Verification, Induction, Termination Analysis


EAN (ISBN-13): 9783642171710
ISBN (ISBN-10): 3642171710
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer-Verlag GmbH
143 Bladzijden
Gewicht: 0,254 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 10.03.2009 12:02:44
Boek voor het laatst gevonden op 12.10.2017 08:25:04
ISBN/EAN: 9783642171710

ISBN - alternatieve schrijfwijzen:
3-642-17171-0, 978-3-642-17171-0


< naar Archief...
Verwante boeken