. .
Nederlands
Nederland
Soortgelijke boeken
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Zoekfuncties
Aanmelden

Inloggen met Facebook:

Registreren
Paswoord vergeten?


Zoekgeschiedenis
Notities
Links naar euro-boek.nl

Dit boek met anderen delen op...
boekentips
actueel
De tip van euro-boek.nl
Advertentie
FILTER
- 0 resultaten
laagste prijs: 44,68 €, hoogste prijs: 85,44 €, gemiddelde prijs: 64,74 €
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) - 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) - pocketboek

ISBN: 3642171710

[SR: 2046023], 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 (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 / Lecture Notes in Artificial Intelligence) - Siegler, Simon [Editor]; Wasser, Nathan [Editor];
uitverkocht boek
(*)
Siegler, Simon [Editor]; Wasser, Nathan [Editor];:
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - pocketboek

2011, ISBN: 9783642171710

ID: 969462352

Springer, 2011-01-14. Paperback. Used:Good. Ships Fast. 24*7 Customer Service., Springer, 2011-01-14

gebruikt boek Biblio.com
Ergodebooks
Verzendingskosten: EUR 12.67
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 / Lecture Notes in Artificial Intelligence) - Simon Siegler (Editor), Nathan Wasser (Editor)
uitverkocht boek
(*)
Simon Siegler (Editor), Nathan Wasser (Editor):
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - pocketboek

2011, ISBN: 9783642171710

ID: 599419041

Springer, 2011-01-14. 2010. Paperback. Used:Good., Springer, 2011-01-14

gebruikt boek Biblio.com
Ergodebooks
Verzendingskosten: EUR 12.70
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
uitverkocht boek
(*)
Siegler, Simon:
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday - nieuw boek

2010, ISBN: 3642171710

ID: 17608118284

[EAN: 9783642171710], Neubuch, New Book. Shipped from US within 10 to 14 business days. Established seller since 2000., [PU: Springer, Berlin/Heidelberg/New York, NY]

Nieuw boek Abebooks.de
Paperbackshop-US, Wood Dale, IL, U.S.A. [8408184] [Rating: 5 (von 5)]
NEW BOOK Verzendingskosten: EUR 12.66
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
uitverkocht boek
(*)
Siegler, Simon:
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday - nieuw boek

2010, ISBN: 3642171710

ID: 16866598063

[EAN: 9783642171710], Neubuch, New Book.Shipped from US within 10 to 14 business days. Established seller since 2000., [PU: Springer, Berlin/Heidelberg/New York, NY]

Nieuw boek Abebooks.de
Pbshop, Wood Dale, IL, U.S.A. [61989342] [Rating: 5 (von 5)]
NEW BOOK Verzendingskosten: EUR 12.70
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
auteur:

Simon Siegler

Titel:

Verification, Induction, Termination Analysis

ISBN:

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 03.08.2017 12:23:05
ISBN/EAN: 9783642171710

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


< naar Archief...
Verwante boeken