Formal Software Development with Event-B: A Practical Guide to Modelling, Refinement, and Verification (Synthesis Lectures on Engineering)

1/1
Prices from
24.99

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Edition: Second Edition 2026, Paperback, Springer
Description Description
Product Specifications Product specifications
Related Products Related Products
?>
Next
Previous

Compare webshops (2)

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

Edition: Second Edition 2026, Paperback, Springer

Product specifications

Brand Springer
EAN
  • 9783032312426

Prices were last updated on:

Springer

Cognitive Fusion for Target Tracking (Synthesis Lectures on Algorithms and Software in Engineering)

£ 24.91
Compare 2 stores 2 stores

Springer

Testing iOS Apps with HadoopUnit: Rapid Distributed GUI (Synthesis Lectures on Software Engineering)

£ 27.99
Compare 2 stores 2 stores

Springer

A Guide to Implementing MLOps: From Data Operations (Synthesis Lectures on Engineering,...

£ 39.99
Compare 2 stores 2 stores

Springer

A Guide to Implementing MLOps: From Data Operations (Synthesis Lectures on Engineering,...

£ 39.97
Compare 2 stores 2 stores
Featured Choice
£ 24.99
To Shop