IMSc Library catalog › Details for: VDM '90 - VDM and Z-Formal Methods in Software Development

Normal view MARC view ISBD view

VDM '90 - VDM and Z-Formal Methods in Software Development Proceedings, 3rd International Symp. Kiel, FRG, 1990

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		34880

Previous								Next
Previous	681 LNCS Methodology for Uncertainty in Knowledge-Based Systems	681 LNCS Sorts and Types in Artificial Intelligence	681 LNCS Recent Issues in Pattern Analysis and Recognition	681 LNCS VDM '90 - VDM and Z-Formal Methods in Software Development	681 LNCS Computer Vision - ECCV 90	681 LNCS SIL - a Simulation Language	681 LNCS Algebraic Logic and Universal Algebra in Computer Science	Next

There are no comments on this title.

to post a comment.