Modeling in Event-B: System and Software Engineering - Jean-Raymond Abrial - Bøger - Cambridge University Press - 9780521895569 - 13. maj 2010
Ved uoverensstemmelse mellem cover og titel gælder titel

Modeling in Event-B: System and Software Engineering

Jean-Raymond Abrial

Pris
£ 188,99

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 17. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Modeling in Event-B: System and Software Engineering

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 13. maj 2010
ISBN13 9780521895569
Forlag Cambridge University Press
Antal sider 612
Mål 192 × 251 × 37 mm   ·   1,32 kg
Sprog Engelsk  
Vis alle

Mere med Jean-Raymond Abrial

Andre har også købt

Se alt med Jean-Raymond Abrial ( f.eks. Paperback Bog og Hardcover bog )