The B method : from Research to Teaching: Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology (FACIT))

Thursday, October 7, 2010

Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology (FACIT))

Emil Sekerinski (Editor), Kaisa Sere (Editor)
http://www.amazon.com/reader/1852330538?_encoding=UTF8&ref_=sib_dp_pt#reader-link

No comments:

Subscribe to: Post Comments (Atom)