Home  
Series  
Advances in Formal Methods
for weekly updates & specials by email

Advances in Formal Methods

1 to 6 of 6 Results
Sort:
Computer-Aided Reasoning
$567.00
Computer-Aided Reasoning
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering with OBJ
$571.00
Software Engineering with OBJ
Paperback / softback
Available - Usually ships in 3-4 weeks
The Object-Z Specification Language by Graeme Smith
$565.00
The Object-Z Specification Language
by Graeme Smith ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering with OBJ on Hardback
$573.00
Software Engineering with OBJ
Hardback
Available - Usually ships in 3-4 weeks
Computer-Aided Reasoning on Hardback
$588.00
Computer-Aided Reasoning
Hardback
Available - Usually ships in 3-4 weeks
The Object-Z Specification Language on Hardback by Graeme Smith
$565.00
The Object-Z Specification Language
by Graeme Smith ~ Hardback
Available - Usually ships in 3-4 weeks