عنوان
پدید آورنده
موضوع
رده
QA .S38 76.758 2001
QA
.
S38
76
.
758
2001
کتابخانه
محل استقرار
3540679898 )alk. paper(
غیرمرجع
انگلیسی
Automated theorem proving in software engineering
Johann M. Schumann ; foreword by Donald Loveland
Berlin ;New York
Springer,
c2001
xiv, 228 p. , ill. , 24 cm.
غیرمرجع
1
Includes bibliographical references )p. ]203[-220( and index.
Software engineering
Automatic theorem proving
005
.
1
QA
76
.
758
.
S38
2001
Schumann, Johann M.,1960-
Title
1
English Book
