Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings


Book Informaton

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings

Author

Jose N. Oliveira; Pamela Zave

Series

Lecture Notes in Computer Science

Volume

2021

Year of Publication

2001

Publisher

Springer Berlin Heidelberg

Pages

XIV, 634

Language

en

ISBN

9783540417910, 9783540452515, 3540417915

ARI Id

1664639709627


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XIII
1-1
2-19
20-42
43-71
72-98
99-118
119-134
135-152
153-172
173-196
197-221
222-222
223-241
242-258
259-277
278-299
300-317
318-343
344-363
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries