- We will send in 10–14 business days.
/images/books/13161764/9783540761402.jpg)
- Author: David F Gray
- Publisher: Springer
- ISBN-10: 3540761403
- ISBN-13: 9783540761402
- Format: 15.6 x 23.4 x 2.4 cm, softcover
- Language: English
- SAVE -10% with code: EXTRA
Introduction to the Formal Design of Real-Time Systems (e-book) (used book) | bookbook.eu
Reviews
Description
but when we state that A 'equals' B, as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ- er see different things as being equal, and how we can produce algo- rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. - The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check- ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path- ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 20d.14:40:04
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: David F Gray
- Publisher: Springer
- ISBN-10: 3540761403
- ISBN-13: 9783540761402
- Format: 15.6 x 23.4 x 2.4 cm, softcover
- Language: English English
but when we state that A 'equals' B, as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ- er see different things as being equal, and how we can produce algo- rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. - The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check- ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path- ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.
Reviews