Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings - Lecture Notes in Computer Science 1641 (Paperback)Dieter Hutter (editor), Werner Stephan (editor), Paolo Traverso (editor), Markus Ullmann (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 384
Weight: 1220 g
Dimensions: 235 x 155 x 20 mm
Edition: 1999 ed.
You may also be interested in...
Please sign in to write a review