The B Language and Method: A Guide to Practical Formal Development (Formal Approaches Computing Information Technology (FACIT))

Prices from
44.99

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 240, Edition: Softcover reprint of the original 1st ed. 1996, Paperback, Springer
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 44.99
To Shop
Amazon Marketplace Logo
£ 44.99
To Shop
Description (1)

Pages: 240, Edition: Softcover reprint of the original 1st ed. 1996, Paperback, Springer

Product specifications

Brand Springer
EAN
  • 9783540760337

Springer

Program Development by Refinement: Case Studies Using the B Method (Formal Approaches...

£ 116.27
More Information More Info

Springer

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

£ 123.49
More Information More Info

Springer

Software Specification Methods: An Overview Using a Case Study (Formal Approaches to...

£ 85.49
More Information More Info

Springer

Refinement in Z and Object-Z: Foundations Advanced Applications (Formal Approaches to Computing...

£ 100.80
More Information More Info
Featured Choice
£ 44.99
To Shop