Jean-Raymond Abrial Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
Viser 1 - 1 af 1 resultat
-
Modeling in Event-B: System and Software Engineering (Bog, Hardback, Engelsk)
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat