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
| eBook, PDF | 40,95 € |
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 € |
Broschiertes Buch
Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
2000.
26. Januar 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-67102-2
| eBook, PDF | 73,95 € |
eBook, PDF
6. Dezember 2012
Springer US
Gebundenes 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 Netherlands / Springer, Berlin
Gebundenes Buch
Contributions to Software Engineering
2. Juli 2002
Springer, Berlin
Ähnlichkeitssuche: Fact®Finder von OMIKRON
