Amazon cover image

Image from Amazon.com

Image from Google Jackets

Normal view MARC view ISBD view

Applications of Formal Methods

By:

Material type: Text

Text

TextSeries: Prentice Hall International Series in Computer SciencePublication details: UK; Prentice Hall; 1995Description: 447pISBN:

0 13 366949 1

Subject(s):

System Design Computer Software-Development

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)

Holdings ( 1 )
Comments ( 0 )

Holdings
Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	681.3 HIN (Browse shelf(Opens below))		Available		42700

There are no comments on this title.

to post a comment.

Place hold
Print
Send to device
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)

Share

The Institute of Mathematical Sciences, Chennai, India