Broschiertes Buch
Final Report
1995.
8. November 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60589-8
Gebundenes Buch
1993.
3. November 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56943-5
Broschiertes Buch
Selected Papers on the CIP-Project
1991.
23. Oktober 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54576-7
Broschiertes Buch
The RPC-Memory Specification Case Study
1996.
6. November 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61984-0
Broschiertes Buch
Advanced Lectures
2005
27. Juni 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11498490,978-3-540-26278-7
| eBook, PDF | 40,95 € |
Broschiertes Buch
Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare
1982.
31. Juli 1982
Springer / Springer Netherlands / Springer, Berlin
978-90-277-1462-6
Broschiertes Buch
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
2005
15. Juli 2005
Springer / Springer Netherlands
978-1-4020-3531-9
Broschiertes Buch
First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
2006
27. September 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11823063,978-3-540-37677-4
| eBook, PDF | 40,95 € |
Broschiertes Buch
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
2003
13. Januar 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20813-6
| eBook, PDF | 40,95 € |
Broschiertes Buch
Focus on Streams, Interfaces, and Refinement
Softcover reprint of the original 1st ed. 2001
17. Oktober 2012
Springer / Springer New York / Springer, Berlin
978-1-4612-6518-4
Broschiertes Buch
4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
2001
14. Dezember 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
10845892,978-3-540-43075-9
| eBook, PDF | 40,95 € |
Ähnlichkeitssuche: Fact®Finder von OMIKRON
