Jean-Raymond Abrial

Identifiers

Open LibraryOL413223A

Top Subjects

Formal methods (Computer science) (1)

Books by Jean-Raymond Abrial

Total count: 2

Modeling in Event-BSystem and Software Engineering

Cambridge University Press2006-01-01
Rigorous methods for software construction and analysisessays dedicated to Egon Börger on the occasion of his 60th birthday

Springer2009-01-01