Sekerinski, Emil books & textbook
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Programming and Software Engineering)
Albert, Elvira Sekerinski, Emil
Springer /2014-09-15 Paperback / 402 Pages
isbn-10: 3319101803 / isbn-13: 9783319101804
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
Sekerinski, Emil Moreira, Nelma Oliveira, José N. Ratiu, Daniel Guidotti, Riccardo Farrell, Marie Luckcuck, Matt Marmsoler, Diego Campos, José
Springer /2020-08-13 Paperback / 544 Pages
isbn-10: 3030549933 / isbn-13: 9783030549930
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science, 4085)
Misra, Jayadev Nipkow, Tobias Sekerinski, Emil
Springer /2006-08-10 Paperback / 635 Pages
isbn-10: 3540372156 / isbn-13: 9783540372158
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Programming and Software Engineering)
Sekerinski, Emil Moreira, Nelma Oliveira, José N. Ratiu, Daniel Guidotti, Riccardo Farrell, Marie Luckcuck, Matt Marmsoler, Diego Campos, José
Springer /2020-08-11 Paperback / 596 Pages
isbn-10: 3030549968 / isbn-13: 9783030549961
Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology (FACIT)) by Springer (1998-11-25)
Springer; 1999 edition (1998-11-25) / Paperback
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science, 14939)
Sekerinski, Emil Ribeiro, Leila
Springer /2024-09-05 Paperback / 150 Pages
isbn-10: 3031713788 / isbn-13: 9783031713781
From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)
Petre, Luigia Sekerinski, Emil
Chapman and Hall/CRC /2016-04-27 Hardcover / 284 Pages
isbn-10: 1498701582 / isbn-13: 9781498701587
