Automated Theorem Proving in Software Engineering
By: Schumann, Johann M.
Material type:
BookPublisher: New York: Springer-Verlag, 2001Description: 228 p.; Illus. Index.: 24 cm.ISBN: 3540679898 .Subject(s): Automatic Theorem Proving | Formal Methods in Software Engineering | Software Engineering | ATP Applications | SETHEO | BAN logic | Communication protocolDDC classification: 005.1
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.1 SCH (Browse shelf) | Available | 002805 |
There are no comments for this item.