jean raymond abrial
Modeling in Event-B
EbookSofort lieferbarA practical text suitable for an introductory or advanced course in formal methods, this book pre...
Modeling in Event-B
EbookSofort lieferbarA practical text suitable for an introductory or advanced course in formal methods, this book pre...
Rigorous Methods for Software Construction and Analysis
EbookSofort lieferbarThis Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Se...
Rigorous Methods for Software Construction and Analysis
TaschenbuchBezug 11-15This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl...
The B-Book
TaschenbuchBezug 11-15The definitive book on the B Method; essential for all working in formal methods and safety-criti...
Formal Methods for Industrial Applications
TaschenbuchBezug 11-15This book, with the CD-ROM included, is the documentation of a unique collaborative effort in eva...
Modeling in Event-B
BuchBezug 11-15A practical introduction to this model-based formal method, containing a broad range of illustrat...
- 1