1- 2 of 2 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Program Development by Refinement: Case Studies Using the B Method, Author: Emil Sekerinski
QUICK ADD
Program Development by…
by Emil Sekerinski (Editor), Kaisa Sere (Editor)
Explore Series
Paperback $219.99
Title: The B Language and Method: A Guide to Practical Formal Development, Author: Kevin Lano
QUICK ADD
The B Language and Method: A…
by Kevin Lano
Explore Series
Paperback $54.99