Design Methods for Reactive Systems

"Design Methods for Reactive Systems helps the software designer meet today's increasingly complex challenges by bringing together specification techniques and guidelines proven useful in the design of a wide range of software systems, allowing the designer to evaluate and adapt different techniques for different projects. Written in an exceptionally clear and insightful style, Design Methods for Reactive Systems is a book that students, engineers, teachers, and researchers will undoubtedly find of great value."--BOOK JACKET.

שנה

2002

שפה

English

הוצאה

Morgan Kaufmann

מהדורות

2

עמודים

500

ISBN

9781558607552

מקור הנתונים: Wikidata