عنوان
پدید آورنده
موضوع
رده
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
