Automated theorem proving in software engineering
Johann M. Schumann
Bok Engelsk 2001 Johann M. Ph. Schumann
| Utgitt | Berlin : Springer , c2001
|
|---|---|
| Omfang | XIV, 228 s. : ill.
|
| Emner | Automatisk bevisføring : (NO-TrBIB)REAL009781
Bevisføring Programutvikling automatisk teorem bevisføring |
| ISBN | 3540679898
|
