Automated theorem proving in software engineering / [by] Johann M. Schumann ; foreword by Donald Loveland.
Material type: TextLanguage: English Publication details: Berlin ; New York : Springer, c2001.Description: xiv, 228 p. : ill. ; 24 cmISBN:- 3540679898 (alk. paper)
- 005.1 21
- QA76.758 .S38 2001
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 1 დარბაზი 5. კორპ. 1 | 621-52 Shc-31 (Browse shelf(Opens below)) | 2E52410 | Available | 2010-5592 |
Includes bibliographical references: p. [203]-220 and index.
There are no comments on this title.
Log in to your account to post a comment.