Synthesis Lectures on Software Engineeri Formal Software Development with Event-B: A Practical Guide to Modelling, Refinement, and Verification, (Paperback)
Synthesis Lectures on Software Engineeri Formal Software Development with Event-B: A Practical Guide to Modelling, Refinement, and Verification, (Paperback)
Hero image 0 of Synthesis Lectures on Software Engineeri Formal Software Development with Event-B: A Practical Guide to Modelling, Refinement, and Verification, (Paperback), 0 of 1
Preorder Release date Dec 10
Nestor Catano

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

(No ratings yet)

Key item features

  • Synthesis Lectures on Software Engineeri Formal Software Development with Event-B: A Practical Guide to Modelling, Refinement, and Verification, (Paperback)
  • Author: Nestor Catano
  • ISBN: 9783032312426
  • Format: Paperback
  • Publication Date: 2027-01-09
  • Page Count: 0
Current price is $32.99
Preorder Price Guarantee
Price when purchased online
  • Free 90-day returns

How do you want your item?

Try 30 days for just $1! Choose a plan at checkout.
How do you want your item?
Ships to
Arrives by Thu, Dec 10, 2026
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
walmart plus

Try 30 days of Walmart+ for just $1!

T&C apply.

About this item

Product details

Specifications

Customer ratings & reviews

0 ratings|0 reviews
This item does not have any reviews yet