Home > Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
Book Informaton
Author
Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann
Series
Lecture Notes in Computer Science
Volume
1641
Year of Publication
1999
Publisher
Springer Berlin Heidelberg
Pages
XII, 384
Language
en
ISBN
9783540664628, 9783540482574, 3540664629
ARI Id
1664663169164
This page has been accessed 8 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 30 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XI | |||
1-43 | |||
44-61 | |||
62-76 | |||
77-91 | |||
92-106 | |||
107-121 | |||
122-136 | |||
137-150 | |||
151-167 | |||
168-183 | |||
184-195 | |||
196-212 | |||
213-227 | |||
228-242 | |||
243-250 | |||
251-265 | |||
266-280 | |||
281-295 | |||
296-301 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 30 entries