Computer-aided verification : proceedings
Material type:
TextLanguage: English Series: Lecture notes in computer science, 697Publication details: Berlin Springer Verlag 1993Description: ix,504pSubject(s): DDC classification: - 5.14 In61(93)
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 5.14 In61(93) (Browse shelf(Opens below)) | Available | 113372 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | |||||
| 5.14 In61(3) Computer-aided verification : proceedings | 5.14 In61(6) Computer-aided verification : proceedings | 5.14 In61(92) Computer-aided verification : proceedings | 5.14 In61(93) Computer-aided verification : proceedings | 5.14 Sy989 Software validation : proceedings | 5.14 W926 ADA software tools interfaces : proceedings | 5.16 C748(6) Software maintenance 1990 : proceedings |
There are no comments on this title.
Log in to your account to post a comment.
