Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Computer Aided Verification Proceedings, 6th Int.Conf., California, 1994

By:

Dill, David L. Ed

Material type: Text

Text

TextSeries: Lecture notes in computer science ; 00818Publication details: Berlin; Springer Verlag; 1994Description: 480ISBN:

3540581790

Subject(s):

Computer

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
Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf(Opens below))		Available		31515

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