Buch
2004
Eelde : Barkhuis, Groningen : Groningen University Library
Broschiertes Buch
1. Mai 2013
University of Hawaii (Nflrc)
Gebundenes Buch
Model-Oriented Proof Methods and Their Comparison
26. Dezember 2007
Cambridge University Press
Broschiertes Buch
10. April 2013
University of Hawaii (Nflrc)
Gebundenes Buch
Papers in honour of Tim McNamara
22. März 2019
Peter Lang
278009
Broschiertes Buch
IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ¿98) 8¿12 June 1998, Shelter Island, New York, USA
Softcover reprint of the original 1st ed. 1998
22. Januar 2013
Springer / Springer US / Springer, Berlin
978-1-4757-6299-0
Broschiertes Buch
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
1994.
7. September 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58468-1
Broschiertes Buch
REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
1993.
29. April 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56596-3
Broschiertes Buch
Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings
1994.
28. Juni 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58043-0
Ähnlichkeitssuche: Fact®Finder von OMIKRON