Home > FME ' 97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings
FME ' 97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings
Book Informaton
Author
John Fitzgerald; Cliff B. Jones; Peter Lucas
Series
Lecture Notes in Computer Science
Volume
1313
Year of Publication
1997
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; London
Pages
XIV, 694
Language
en
ISBN
9783540635338, 9783540695936, 3540635335
ARI Id
1664764424343
This page has been accessed 8 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 37 entries
Chapters/Headings | Author(s) | Pages | Info |
1-19 | |||
20-39 | |||
40-61 | |||
62-81 | |||
82-101 | |||
102-121 | |||
122-141 | |||
142-161 | |||
162-181 | |||
182-200 | |||
201-220 | |||
221-236 | |||
237-257 | |||
258-277 | |||
278-297 | |||
298-317 | |||
318-337 | |||
338-357 | |||
358-377 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 37 entries
Topics