Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 30 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 30 entries