-
RecordNumber
73276
-
Author
Schumann, Johann M., 1960-
-
Title
Automated theorem proving in software engineering
-
Author Statement
Johann M. Schumann
-
Publication
Springer
-
Publication Year
c2001
-
Collation
xiv, 228 p. : ill
-
Bibliography
Includes bibliographies
-
Subject
Software engineering , Automatic theorem proving
-
Main Class
005
-
Sub Class
.1
-
Cutter no
S392a
-
وارد كنندة اطلاعات
samadi^d2004/05/22 11:27:22 , zharfi^d2006/06/13 11:06:21
-
Link To Document :
