Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies
Material type:
TextSeries: NATO science series. Series III, Computer and systems sciences 1387-6694 ; v. 200Publication details: Amsterdam : IOS Press, 2006Description: 445 p. : ill. ; 25 cmISBN: - 1586036254
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
|
|
UMPLIB PEKAN | QA76.9.A96 P76 2006 (Browse shelf(Opens below)) | 1 | Available | 0000027415 |