Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > FME ' 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14. 3, Oxford, UK, March 18 - 22, 1996. Proceedings.

FME ' 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14. 3, Oxford, UK, March 18 - 22, 1996. Proceedings.


Book Informaton

FME ' 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14. 3, Oxford, UK, March 18 - 22, 1996. Proceedings.

Author

Marie-Claude Gaudel; James Woodcock

Series

Lecture Notes in Computer Science

Volume

1051

Year of Publication

1996

Publisher

Springer Berlin Heidelberg

Pages

XIII, 711

Language

en

ISBN

9783540609735, 9783540497493, 3540609733

ARI Id

1664483822438


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 10 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 40 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-17
18-38
39-59
60-73
74-84
85-104
105-119
120-139
140-159
160-178
179-194
195-213
214-227
228-247
248-267
268-286
287-306
307-326
327-346
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 40 entries