Broschiertes Buch
How to Specify, Program, and Verify Systems in Rewriting Logic
2007
20. Juli 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12048595,978-3-540-71940-3
Broschiertes Buch
Mit einem Vorwort von Peter Aellen und einem Interview mit Peter Bichsel
2000
vdf Hochschulverlag
Buch mit Leinen-Einband
Roman. Übertr. v. Eliane Hagedorn u. Barbara Reitz
1999
Schneekluth
Ähnlichkeitssuche: Fact®Finder von OMIKRON
