Broschiertes Buch
7. Dezember 2010
Springer / Springer US / Springer, Berlin
978-1-4419-5133-5
| Gebundenes Buch | 39,99 € | |
| eBook, PDF | 40,95 € |
Gebundenes Buch
1992.
31. Dezember 1992
Springer / Springer US / Springer, Berlin
978-0-7923-9311-5
Broschiertes Buch
11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
2005
23. März 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11408130,978-3-540-25333-4
| eBook, PDF | 72,95 € |
Broschiertes Buch
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
1999.
23. Juni 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-66202-0
| eBook, PDF | 40,95 € |
Ähnliche Artikel
Broschiertes Buch
Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge
1991.
12. Juni 1991
Springer / Springer London / Springer, Berlin
978-3-540-19657-0
Broschiertes Buch
International Summer School
21. Dezember 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-77574-1
Broschiertes Buch
International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
21. August 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-44044-4
Broschiertes Buch
Specification
17. Oktober 2012
Springer / Springer New York / Springer, Berlin
978-1-4612-6950-2
Gebundenes Buch
Specification
1991.
18. Dezember 1991
Springer / Springer New York / Springer, Berlin
978-0-387-97664-8
Broschiertes Buch
Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
1993.
24. September 1993
Springer / Springer London / Springer, Berlin
978-3-540-19842-0
Gebundenes Buch
1991.
5. Dezember 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54277-3
Gebundenes Buch
A Priority Inheritance Approach
1991.
31. August 1991
Springer / Springer US / Springer, Berlin
978-0-7923-9211-8
Broschiertes Buch
Advanced Techniques Integration into Efficient Scientific Software
1991.
24. Juli 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54188-2
Ähnlichkeitssuche: Fact®Finder von OMIKRON
