Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

Product ID: 0521895561 Condition: New

$ 446
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA Mastercard ozow

Product Description

Modeling in Event-B: System and Software Engineering

  • Used Book in Good Condition

Technical Specifications

Country
USA
Brand
Cambridge University Press
Manufacturer
Cambridge University Press
Binding
Hardcover
PartNumber
Worked examples or Exercises; 10 Halfton
Model
Worked examples or Exercises; 10 Halfton
Height
10
Length
7.75
Weight
2.9101018584
Width
1.5
NumberOfItems
1
Author
Abrial, Jean-Raymond