Tipsa dina vänner om produkten:
Modeling in Event-B: System and Software Engineering Jean-Raymond Abrial
Pris
SEK 1.979
Beställningsvara
Förväntad leverans 31 dec - 8 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller
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
| Media | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 13 maj 2010 |
| ISBN13 | 9780521895569 |
| Utgivare | Cambridge University Press |
| Antal sidor | 612 |
| Mått | 192 × 251 × 37 mm · 1,32 kg |
| Språk | Engelska |
Fler produkter med Jean-Raymond Abrial
Visa alla
![Cover for Jean-raymond Abrial · Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science (Pocketbok) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/291/9783540619291.jpg?jean-raymond-abrial-1996-formal-methods-for-industrial-applications-specifying-and-programming-the-steam-boiler-control-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1525959309)
Andra har också köpt
Se alt med Jean-Raymond Abrial ( t.ex. Pocketbok och Inbunden Bok )