![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
eBook, PDF | 22,99 € |
![Programmverifikation (eBook, PDF) Programmverifikation (eBook, PDF)](https://bilder.buecher.de/produkte/53/53391/53391957m.jpg)
29,95 €**
22,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
![Verification of Sequential and Concurrent Programs (eBook, PDF) Verification of Sequential and Concurrent Programs (eBook, PDF)](https://bilder.buecher.de/produkte/44/44177/44177733m.jpg)
eBook, PDF
9. März 2013
Springer New York
![Verification of Sequential and Concurrent Programs (eBook, PDF) Verification of Sequential and Concurrent Programs (eBook, PDF)](https://bilder.buecher.de/produkte/43/43988/43988914m.jpg)
eBook, PDF
9. März 2013
Springer New York
![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
eBook, PDF | 40,95 € |
![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
eBook, PDF | 40,95 € |
![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 | 77,99 € | |
eBook, PDF | 65,95 € |
![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
![Verification of Sequential and Concurrent Programs (eBook, PDF) Verification of Sequential and Concurrent Programs (eBook, PDF)](https://bilder.buecher.de/produkte/43/43989/43989222m.jpg)
eBook, PDF
18. September 2009
Springer London
Ähnlichkeitssuche: Fact®Finder von OMIKRON