![The Foundations of Program Verification The Foundations of Program Verification](https://bilder.buecher.de/produkte/37/37424/37424598m.jpg)
Broschiertes Buch
2. Aufl.
3. Oktober 2013
Vieweg+Teubner / Vieweg+Teubner Verlag
eBook, PDF | 34,99 € |
![The Foundations of Program Verification (eBook, PDF) The Foundations of Program Verification (eBook, PDF)](https://bilder.buecher.de/produkte/53/53392/53392195m.jpg)
44,99 €**
34,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei![The Foundations of Program Verification (Series in Computer Science) The Foundations of Program Verification (Series in Computer Science)](https://bilder.buecher.de/produkte/27/27145/27145691m.jpg)
![The foundations of program verification. Jacques Loeckx and Kurt Sieber. In collab. with Ryan D. Stansifer / Wiley-Teubner series in computer science. The foundations of program verification. Jacques Loeckx and Kurt Sieber. In collab. with Ryan D. Stansifer / Wiley-Teubner series in computer science.](https://bilder.buecher.de/produkte/25/25026/25026264m.jpg)
Buch
Stuttgart : Teubner - Chichester ; New York ; Brisbane ; Toronto ; Singapore : Wiley
Ähnliche Artikel
![Transductions and Context-Free Languages Transductions and Context-Free Languages](https://bilder.buecher.de/produkte/27/27045/27045816m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1979
1. Oktober 1979
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02340-1
![Semantik Semantik](https://bilder.buecher.de/produkte/36/36117/36117122m.jpg)
Broschiertes Buch
Theorie sequentieller und paralleler Programmierung
Softcover reprint of the original 1st ed. 1995
14. März 2012
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-322-86824-4
![A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems](https://bilder.buecher.de/produkte/39/39152/39152074m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1993
6. Dezember 2012
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-322-97612-3
![Programmieren Lernen mit C Programmieren Lernen mit C](https://bilder.buecher.de/produkte/41/41307/41307195m.jpg)
Broschiertes Buch
Für C und QuickC
1990
23. August 2014
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-663-11168-9
![Labyrinth Problems Labyrinth Problems](https://bilder.buecher.de/produkte/39/39174/39174259m.jpg)
Broschiertes Buch
Labyrinth-Searching Abilities of Automata
Softcover reprint of the original 1st ed. 1989
26. November 2012
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-322-94561-7
![Peter Nortons Neues Programmierhandbuch für IBM® PC & PS/2® Peter Nortons Neues Programmierhandbuch für IBM® PC & PS/2®](https://bilder.buecher.de/produkte/39/39155/39155537m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1989
6. Juli 2012
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-322-93852-7
![Eiffel Eiffel](https://bilder.buecher.de/produkte/24/24988/24988839m.jpg)
Broschiertes Buch
Fachtagung des German Chapter of the ACM e.V. in Zusammenarbeit mit der Gesellschaft für Informatik e.V., FA 2.1, am 25. und 26. Mai 1992 in Darmstadt
1992.
1. Januar 1992
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02676-1
![Problemlösen und Programmieren mit LOGO Problemlösen und Programmieren mit LOGO](https://bilder.buecher.de/produkte/25/25125/25125464m.jpg)
Broschiertes Buch
Ausgewählte Beispiele aus Mathematik und Informatik
1984.
1. August 1984
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02522-1
![Turbo Assembler-Wegweiser Turbo Assembler-Wegweiser](https://bilder.buecher.de/produkte/41/41307/41307173m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1990
23. August 2014
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-663-12411-5
![Programmieren mit ELAN Programmieren mit ELAN](https://bilder.buecher.de/produkte/24/24666/24666917n.jpg)
Broschiertes Buch
1983
1. März 1983
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02507-8
Ähnlichkeitssuche: Fact®Finder von OMIKRON