Povej prijatelju o tem izdelku:
Modeling in Event-B: System and Software Engineering Jean-Raymond Abrial
Cena
€ 189,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 24. sep - 2. okt
Prejemajte obvestila o novih izdajah izvajalca Jean-Raymond Abrial
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Modeling in Event-B: System and Software Engineering
Jean-Raymond Abrial
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels.
612 pages, 170 b/w illus. 30 exercises
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 13. maja 2010 |
| ISBN13 | 9780521895569 |
| Založniki | Cambridge University Press |
| Strani | 612 |
| Dimenzije | 192 × 251 × 37 mm · 1,32 kg |
| Jezik | Angleščina |
