دسترسی همگانی(OPAC) نام کتابخانه در اوپک

Abstract state machines (2003) / Bo?rger ، E. (Egon) (1946)، نویسنده

نوع مدرک:	متون چاپی
سرشناسه	Bo?rger ، E. (Egon) (1946)، نویسنده
رده‌بندی کنگره :	QA76.9 .S88B66 2003
عنوان :	Abstract state machines : a method for high-level system design and analysis
تکرار نام مولف :	Egon Borger, Robert Stark
ناشر:	Berlin ; New York : Springer
سال نشر :	2003
صفحه شمار:	x, 438 p
ویژگی :	ill. ; 24 cm. + 1 CD-ROM (4 3/4 in.)
شابک/شاپا	3540007024 (alk. paper)
یادداشت	Includes bibliographical references (p. [379]-428) and index
شناسه افزوده :	Sta?rk ، Robert F ، 1963-
موضوع‌ها :	اصفا System design ؛ Computer software --Development ؛ Embedded computer systems
لینک ثابت رکورد:	../opac/index.php?lvl=record_display&id=11194
زبان مدرک :	English

شماره ثبت	شماره بازیابی	نام عام مواد	محل نگهداری	بخش	وضعیت ثبت	وضعیت امانت
3406	QA76.9 .S88B66 2003	کتاب لاتین	کتابخانه سجاد	سایر	اسناد معمولی	موجود