Luigia Petre, Emil Sekerinski
Formal Methods Teaching
3 contributors - Paperback
£44.99
Dependability and Computer Engineering
3 contributors - Hardback
£212.00
From Action Systems to Distributed Systems
2 contributors - Hardback
£170.00
2 contributors - Paperback
Integrated Formal Methods
£55.99