عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
364238613X
شابک
9783642386138
شماره کتابشناسی ملی
شماره
b567997
عنوان و نام پديدآور
عنوان اصلي
Integrated formal methods :
نام عام مواد
[Book]
ساير اطلاعات عنواني
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
نام نخستين پديدآور
Einar Broch Johnsen, Luigia Petre (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer, cop.
تاریخ نشرو بخش و غیره
2013
مشخصات ظاهری
نام خاص و کميت اثر
(xiii, 442 pages)
فروست
عنوان فروست
Lecture notes in computer science, 7940; LNCS sublibrary. SL 2, Programming and software engineering
يادداشت کلی
متن يادداشت
International conference proceedings.Includes author index.Includes bibliographical references and index.Print version record.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
IFM 2013
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Génie logiciel.
موضوع مستند نشده
Méthodes formelles (informatique)
موضوع مستند نشده
Systèmes informatiques.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Einar Broch Johnsen, Luigia Petre (eds.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Einar Broch Johnsen
مستند نام اشخاص تاييد نشده
Luigia Petre
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
