CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6. 1 International Conference...
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6. 1 International Conference... by Giese, Holger, Rosu, Grigore ISBN: 9783642307928 List Price: $89.95
$51.31 (Save 42%)
2.
Institution Morphisms
Institution Morphisms by Goguen, Joseph, Rosu, Grigo... ISBN: 9781287275893 List Price: $15.75
$53.31
3.
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Confe...
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Confe... by Fisman, Dana, Rosu, Grigore ISBN: 9783030995263
$47.70
4.
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Confe...
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Confe... by Fisman, Dana, Rosu, Grigore ISBN: 9783030995232
$47.70
5.
Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 20...
Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 20... by Legunsen, Owolabi, Rosu, Gr... ISBN: 9783031150760
$103.17