Computer aided verification /ed. by K.G. Larsen, A. Skou.
Material type: BookSeries: Lecture notes in computer science ; 575Publication details: Berlin S-V 1992Description: x, 487pISBN:- 3540551794
- 005.14 N92
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | Computer Science and Automation | 005.14 N92 (Browse shelf(Opens below)) | Available | 149702 |
Browsing Computer Science and Automation shelves Close shelf browser (Hides shelf browser)
005.133 P155 (CSA) C programming language | 005.133 P16 (CSA) GO programming language | 005.14 N90(CSA) Software testing techniques | 005.14 N92 Computer aided verification /ed. by K.G. Larsen, A. Skou. | 005.14 N921 Software fault tolerance achievement & assessment strate gies | 005.14 N93 Automated and algorithmic debugging first intl. workshop, AADEBUG '93 /ed. by Peter A. Fritzson | 005.14 N95 Craft of software testing: sub system testing including object-based and object-oriented testing /Brian Marick. |
There are no comments on this title.