Modeling in Event-B: System and Software Engineering

Checking for file health...
ebook img
Author:Jean-Raymond Abrial
Language:English
Release year:2010
File size:3.009 MB
Number of page:614
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Similar Modeling in Event-B: System and Software Engineering

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.