عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک اشتباه
032114306X (pbk. : alk. paper)
شماره کتابشناسی ملی
شماره
b411872
عنوان و نام پديدآور
عنوان اصلي
Specifying systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
the TLA+ language and tools for hardware and software engineers /
نام نخستين پديدآور
Leslie Lamport.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xvi, 364 pages)
یادداشتهای مربوط به تکثیر
متن يادداشت
Available via World Wide Web
یادداشتهای مربوط به نیازمندی های سیستم (منابع الکترونیک)و جزئیات فنی
متن يادداشت
Mode of access: World Wide Web
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer systems-- Specifications.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
System design.
رده بندی ديویی
شماره
004
.
2/1
ويراست
21
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Lamport, Leslie.
مبدا اصلی
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
