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
|