Jean-Raymond Abrial – författare
Visar alla böcker från författaren Jean-Raymond Abrial. Handla med fri frakt och snabb leverans.
4 produkter
Modeling in Event-B
System and Software Engineering
Inbunden, 2010
4,0 utav 5 stjärnor. Totalt antal röster: (1)
2247 kr
Lägg i varukorg
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. Based on the idea of refinement, the author's systematic approach allows the user to …
Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler Control
Av Jean-Raymond Abrial, Egon Börger m. fl.
Häftad, 1996
1094 kr
Lägg i varukorg
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a …
Rigorous Methods for Software Construction and Analysis
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Av Jean-Raymond Abrial, Uwe Glässer
Häftad, 2010
567 kr
Lägg i varukorg
Egon B.. orger Tribute to Egon B.. orger on th the Occasion of his 60 Birthday 1 2 Jean-Raymond Abrial and Uwe Glasser .. 1 jrabrial@neuf. fr 2 glaesser@cs. sfu. ca Egon B.. orger was born on May 13, 1946, in Westfalia (Germany). After the cl- sic baccalaur' eat, from 1965-1971 he studied …
Rigorous Methods for Software Construction and Analysis
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Av Uwe Glasser, Jean-Raymond Abrial
E-bok, 2010
739 kr
Lägg i varukorg
