CAFE: An Industrial-Strength Algebraic Formal Method
Material type: TextLanguage: English Publication details: Elsevier Science 2000 Edition: 1st edISBN: 9780080528403Subject(s): Algebraic logic--Congresses.,Formal methods (Computer science)--Congresses | COMPUTERS / Languages / GeneralDDC classification: 511.3 LOC classification: QA10 .C35 2000ebOnline resources: Click here to access onlineItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
E-Books | VJEC Central Library | Not for loan |
There are no comments on this title.