Modeling in Event-B: System and Software Engineering - Jean-Raymond Abrial - Boeken - Cambridge University Press - 9780521895569 - 13 mei 2010
Indien omslag en titel niet overeenkomen, is de titel correct

Jean-Raymond Abrial
Modeling in Event-B: System and Software Engineering

Prijs
€ 182,49

Besteld in een afgelegen magazijn

Verwachte levering 25 dec. - 2 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 13 mei 2010
ISBN13 9780521895569
Uitgevers Cambridge University Press
Pagina's 612
Afmetingen 192 × 251 × 37 mm   ·   1,32 kg
Taal en grammatica Engels  

Meer door Jean-Raymond Abrial

Alles tonen

Anderen hebben ook gekocht

Bekijk alles van Jean-Raymond Abrial ( bijv. Paperback Book en Hardcover Book )