IMSc Library catalog › ISBD view

Normal view MARC view ISBD view

Bjorner, D. Ed. Hoare, C A R. Ed. Langmaack, H. Ed.

VDM '90 - VDM and Z-Formal Methods in Software Development Proceedings, 3rd International Symp. Kiel, FRG, 1990 - Berlin Springer Verlag 1990 - 579 - Lecture notes in computer science ; 00428 .

ISBN: 3540525130

Subjects--Topical Terms:
VDM and Z
Formal Methods
Software Development

Universal Decimal Class. No.: 681 LNCS

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)