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: 31,22 €, hoogste prijs: 53,49 €, gemiddelde prijs: 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
uitverkocht boek
(*)
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) - pocketboek

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

gebruikt boek Amazon.de (Intern...
ausverkauf
Gebraucht. Verzendingskosten:Innerhalb 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...
(*) 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 (Lecture Notes in Computer Science, Band 6463) - Simon Siegler, Nathan Wasser
uitverkocht boek
(*)
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) - pocketboek

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

Nieuw boek Amazon.de (Intern...
Amazon.de
Neuware. Verzendingskosten:Versandkostenfrei innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Gewöhnlich versandfertig in 24 Stunden. (EUR 0.00)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Gebr. - Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Comput
uitverkocht boek
(*)
Gebr. - Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Comput - nieuw boek

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 -

Nieuw boek Medimops.de
Nr. M03642171710LibriNew. Verzendingskosten:0, 1-3 Tage, zzgl. Versandkosten., exclusief verzendingskosten
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Gebr. - Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Comput
uitverkocht boek
(*)
Gebr. - Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Comput - nieuw boek

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 -

Nieuw boek Medimops.de
Nr. M03642171710LibriNew. Verzendingskosten:0, 1-3 Tage, zzgl. Versandkosten., exclusief verzendingskosten
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 01.07.2018 14:21:21
ISBN/EAN: 9783642171710

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


< naar Archief...
Verwante boeken