عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 T96 2004
QA76
.
9
.
A96
T96
2004
کتابخانه
محل استقرار
شابک
شابک
3540314288 (pbk.)
شماره کتابشناسی ملی
شماره
b423564
عنوان و نام پديدآور
عنوان اصلي
Types for proofs and programs :
نام عام مواد
[Book]
ساير اطلاعات عنواني
international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /
نام نخستين پديدآور
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2006
مشخصات ظاهری
نام خاص و کميت اثر
viii, 273 p. :
ساير جزييات
ill. ;
ابعاد
24 cm
فروست
عنوان فروست
Lecture notes in computer science ;
شاپا ي ISSN فروست
3839
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
TYPES 2004
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving, Congresses
موضوع مستند نشده
Computer programming, Congresses
مقوله موضوعی
موضوع مستند نشده
QA
رده بندی کنگره
شماره رده
QA76
.
9
.
A96
نشانه اثر
T96
2004
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Filliâtre, Jean-Christophe
مستند نام اشخاص تاييد نشده
Paulin-Mohring, Christine,1962-
مستند نام اشخاص تاييد نشده
Werner, Benjamin
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
TYPES 2004(2004 :, Jouy-en-Josas, France)
مبدا اصلی
تاريخ عمليات
20060313111344.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
