返回

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

Catano, Nestor
48.51 SGD
Member Price
43.66
Publisher
Springer, Berlin; Springer
Publication Date
Nov 2026
ISBN
9783032312426
Pages
-
Item Type
Book
Format
Paperback

Unavailable

This product is currently out of stock. Please check back later.

Discount is applied at checkout.

Recently Viewed Items

Related Products