دستگاه دولت انتزاعی: روش های تجزیه و تحلیل و طراحی سیستم های سطح بالا Abstract state machines: A method for high-level system design and analysis
- نوع فایل : کتاب
- زبان : انگلیسی
- نویسنده : Egon Boerger ,Robert Staerk
- ناشر : Springer
- چاپ و سال / کشور: 2003
- شابک / ISBN : 9783540007029, 3540007024
Description
This book combines the features of a textbook and a handbook Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a "modeling handbook of the working software engineer. As a textbook it supports self-study or it can form the basis of a lecture course.