عنوان
پدید آورنده
موضوع
رده
QA .S38 76.758 2001
QA
.
S38
76
.
758
2001
کتابخانه
محل استقرار
استان: Mazandaran ـ شهر: Behshahr
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540679898 )alk. paper(
INTERNATIONAL STANDARD SERIAL NUMBER
Terms of Availability and/or Price
غیرمرجع
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated theorem proving in software engineering
First Statement of Responsibility
Johann M. Schumann ; foreword by Donald Loveland
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ;New York
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2001
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 228 p. , ill. , 24 cm.
NOTES PERTAINING TO SUBJECT ACCESS
Text of Note
غیرمرجع
NOTE RELATING TO THE COPY IN HAND
Text of Note
1
SUMMARY OR ABSTRACT
Text of Note
Includes bibliographical references )p. ]203[-220( and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
Software engineering
Entry Element
Automatic theorem proving
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Classification Record Number
76
.
758
Book number
.
S38
2001
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Schumann, Johann M.,1960-
Entry Element
Title
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
1
English Book
