Showing 1 - 8 of 8 Results
1.
FM 2006:Formal Methods 14th International Symposium on Formal Methods Hamilton, Canada, Augu... by Misra, Jayadev, Nipkow, Tob... ISBN: 9783540372158 List Price: $100.00
2.
From Action Systems to Distributed Systems : The Refinement Approach by Petre, Luigia, Sekerinski, ... ISBN: 9781498701587
3.
Program Development by Refinement Case Studies Using the B Method by Sekerinski, Emil, Sere, Kaisa ISBN: 9781852330538 List Price: $199.00
4.
Program Development by Refinement by Sekerinski, Emil, Sere, Kaisa ISBN: 9781447105862 List Price: $24.99
5.
Integrated Formal Methods : 11th International Conference, Ifm 2014, Bertinoro, Italy, Septe... by Albert, Elvira, Sekerinski,... ISBN: 9783319101828 List Price: $24.99
6.
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revis... by Sekerinski, Emil, Moreira, ... ISBN: 9783030549930 List Price: $99.99
7.
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revis... by Sekerinski, Emil, Moreira, ... ISBN: 9783030549961 List Price: $109.99
8.
From Action Systems to Distributed Systems: the Refinement Approach by Petre, Luigia, Sekerinski, ... ISBN: 9780367574857