CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 8 of 8 Results
1.
FM 2006:Formal Methods 14th International Symposium on Formal Methods Hamilton, Canada, Augu...
FM 2006:Formal Methods 14th International Symposium on Formal Methods Hamilton, Canada, Augu... by Misra, Jayadev, Nipkow, Tob... ISBN: 9783540372158 List Price: $100.00
$71.97 (Save 28%)
2.
From Action Systems to Distributed Systems : The Refinement Approach
From Action Systems to Distributed Systems : The Refinement Approach by Petre, Luigia, Sekerinski, ... ISBN: 9781498701587

OUT OF STOCK

See Availability on Amazon
3.
Program Development by Refinement Case Studies Using the B Method
Program Development by Refinement Case Studies Using the B Method by Sekerinski, Emil, Sere, Kaisa ISBN: 9781852330538 List Price: $199.00
$126.35 (Save 36%)
4.
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revis...
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revis... by Sekerinski, Emil, Moreira, ... ISBN: 9783030549961 List Price: $109.99
$51.31 (Save 53%)
5.
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revis...
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revis... by Sekerinski, Emil, Moreira, ... ISBN: 9783030549930 List Price: $99.99
$51.31 (Save 48%)
6.
Program Development by Refinement
Program Development by Refinement by Sekerinski, Emil, Sere, Kaisa ISBN: 9781447105862 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Integrated Formal Methods : 11th International Conference, Ifm 2014, Bertinoro, Italy, Septe...
Integrated Formal Methods : 11th International Conference, Ifm 2014, Bertinoro, Italy, Septe... by Albert, Elvira, Sekerinski,... ISBN: 9783319101828 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
8.
From Action Systems to Distributed Systems: the Refinement Approach
From Action Systems to Distributed Systems: the Refinement Approach by Petre, Luigia, Sekerinski, ... ISBN: 9780367574857

OUT OF STOCK

See Availability on Amazon