Modeling in Event-B System and Software Engineering Abrial Hardback

Modeling in Event-B; System and Software Engineering 9780521895569 Brand New

eBay