Logic and specification : extending VDM-SL for advanced formal specification

By:

Material type: Text

Subject(s):

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Call number	Status	Barcode
BOOKS	AMRITA SCHOOL OF ENGINEERING	004.415VDM N30 (Browse shelf(Opens below))	Available	18418

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Central Library - Coimbatore