Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > FM' 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

FM' 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II


Book Informaton

FM' 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

Author

Jeannette M. Wing; Jim Woodcock; Jim Davies

Series

Lecture Notes in Computer Science

Volume

1709

Year of Publication

1999

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540665885, 9783540481188

ARI Id

1674219601644


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 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 64 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XVIII
939-962
963-982
983-1007
1008-1027
1028-1047
1048-1067
1068-1086
1087-1106
1107-1127
1128-1146
1147-1165
1166-1185
1186-1205
1206-1225
1226-1244
1245-1265
1266-1280
1281-1300
1301-1320
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 64 entries