Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > VDM ' 87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

VDM ' 87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings


Book Informaton

VDM ' 87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Author

Dines Bjørner; Cliff Jones; Michael Mac An Airchinnigh; Erich J. Neuhold

Series

Lecture Notes in Computer Science

Volume

252

Year of Publication

1987

Publisher

Springer Berlin Heidelberg

Pages

XI, 422

Language

en

ISBN

9783540176541, 9783540477402, 3540176543

ARI Id

1664439610332


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo