Books » Author » Didier Bert
Edited by Bert, Didier; Choppy, Christine; Mosses, Peter
The papers address: algebraic specification and other specification formalisms; test and validation; concurrent processes applications; logic and validation; combining formalisms; subsorts and partiality; structuring; rewriting; co-algebras and sketches; refinement; and other top...ics.Read more
School & Public Library Accounts - please log in
Edited by Bert, Didier; Bowen, Jonathan P.; Henson, Martin C.; Robinson, Ken
Contains the proceedings of the Second International Conference of B and Z Users, held in France in 2002. The 24 papers and three invited contributions document advances for the Z formal specification notion and cover the full scope for the B method, from theoretical issues to ap...plications.Read more
Add to Basket
Edited by Bert, Didier; Bowen, Jonathan P.; King, Steve; Walden, Marina
These papers document the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
Subscribe now to be the first to hear about specials and upcoming releases.
Copyright © 2022 Wheelers Books
· All rights reserved