![Programmverifikation Programmverifikation](https://bilder.buecher.de/produkte/23/23432/23432672m.jpg)
Broschiertes Buch
Sequentielle, parallele und verteilte Programme
1994.
21. März 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-57479-8
![Real-Time Systems Real-Time Systems](https://bilder.buecher.de/produkte/25/25428/25428255m.jpg)
![Correct System Design Correct System Design](https://bilder.buecher.de/produkte/09/09258/09258986m.jpg)
Broschiertes Buch
Recent Insights and Advances
1999.
22. September 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-66624-0
![Formal Techniques in Real-Time and Fault-Tolerant Systems Formal Techniques in Real-Time and Fault-Tolerant Systems](https://bilder.buecher.de/produkte/23/23384/23384824m.jpg)
Broschiertes Buch
7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
2002
28. August 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-44165-6
![Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs](https://bilder.buecher.de/produkte/34/34562/34562450m.jpg)
Broschiertes Buch
3rd ed.
14. März 2012
Springer / Springer London / Springer, Berlin
978-1-4471-2513-6
Gebundenes Buch | 74,99 € |
![Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs](https://bilder.buecher.de/produkte/26/26428/26428781m.jpg)
Gebundenes Buch
3rd ed.
5. Oktober 2009
Springer / Springer London / Springer, Berlin
12248810,978-1-84882-744-8
Ähnliche Artikel
![Constraint-Programmierung Constraint-Programmierung](https://bilder.buecher.de/produkte/06/06620/06620246m.jpg)
Broschiertes Buch
Grundlagen und Anwendungen
1997.
12. September 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60670-3
![Programmentwicklung und Verifikation Programmentwicklung und Verifikation](https://bilder.buecher.de/produkte/03/03202/03202168m.jpg)
![Theorie der logischen Programmierung Theorie der logischen Programmierung](https://bilder.buecher.de/produkte/24/24797/24797930m.jpg)
Broschiertes Buch
Eine elementare Einführung
1992.
11. September 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55702-9
![Einführung in die Informatik Einführung in die Informatik](https://bilder.buecher.de/produkte/08/08929/08929264m.jpg)
Broschiertes Buch
Objektorientiert mit Java
3., überarb. Aufl.
19. Oktober 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20958-4
![Funktionale Programmierung Funktionale Programmierung](https://bilder.buecher.de/produkte/07/07644/07644467m.jpg)
Broschiertes Buch
in OPAL, ML, HASKELL und GOFER
2. Aufl.
12. September 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43621-8
![Parallele Implementierung funktionaler Programmiersprachen Parallele Implementierung funktionaler Programmiersprachen](https://bilder.buecher.de/produkte/36/36110/36110970m.jpg)
Broschiertes Buch
1990.
20. Dezember 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-52049-8
![Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation](https://bilder.buecher.de/produkte/39/39152/39152633m.jpg)
Broschiertes Buch
1984.
1. Dezember 1984
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-13895-2
![Semantik von Programmiersprachen Semantik von Programmiersprachen](https://bilder.buecher.de/produkte/25/25928/25928432m.jpg)
![Funktionale und Applikative Programmierung Funktionale und Applikative Programmierung](https://bilder.buecher.de/produkte/25/25460/25460042m.jpg)
Gebundenes Buch
Grundlagen, Sprachen, Implementierungstechniken
2009
20. März 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12564958,978-3-540-89091-1
Ähnlichkeitssuche: Fact®Finder von OMIKRON