Verification of sequential and concurrent programs
Material type: TextLanguage: English Series: Texts in computer sciencePublication details: Springer c2009 Edition: 3rd edDescription: xxii, 502pISBN: 9781848827448 (HB)Subject(s): COMPUTER SOFTWARE – VERIFICATIONDDC classification: 005.14 APT(VER)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 005.14 APT(VER) (Browse shelf(Opens below)) | 1 | Available | 10192 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
005.133 WIN(LIS) LISP | 005.133 XAV(FOR) Fortran 77 and numerical methods | 005.133 XAV(FOR) Fortran 77 and numerical methods | 005.14 APT(VER) Verification of sequential and concurrent programs | 005.14 GRO(DEV) The developer's guide to debugging | 005.14 GUE(INT) Introduction to reliable distributed programming | 005.14 LOE(FOU) The foundations of program verification |
SAR/155/09, Date: 18.11.2009
There are no comments on this title.