Jean-Raymond Abrial

New Releases

Language

Ebook Format

DRM

1 - 2 of 2 results

Modeling in Event-B: System and Software Engineering

Modeling in Event-B

System and Software Engineering

Cambridge University Press (2010)
US$120.00

A practical introduction to this model-based formal method, containing a broad range of illustrative...

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis

Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer Berlin Heidelberg (2010)
US$67.71

This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl...