The B-book : assigning programs to meanings / [...] XD-US
Book information
Similar books
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
2003 · PDF
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
2009 · PDF
Modeling in Event-B : system and software engineering
2010 · PDF
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
2009 · PDF
Modeling in Event-B: System and Software Engineering
2010 · PDF
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
2009 · PDF
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
2003 · PDF
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
1996 · DJVU