16 results
Type of media (2)
Availability (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
16 results

Your search for Emil Sekerinski

  1. Cover: Formal Methods Teaching - Springer
    Emil Sekerinski | Leila Ribeiro
    Formal Methods Teaching
    6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
    09/2024
    Springer
    9783031713798 (ISBN)
    E-Book
    PDF
    Other editions
    €40.65
    Available for download
  2. Cover: Formal Methods. FM 2019 International Workshops - Springer
    Emil Sekerinski | Nelma Moreira | José N. Oliveira
    Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
    08/2020
    Springer
    9783030549947 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Methods. FM 2019 International Workshops - Springer
    Emil Sekerinski | Nelma Moreira | José N. Oliveira
    Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
    08/2020
    Springer
    9783030549978 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Integrated Formal Methods - Springer
    Elvira Albert | Emil Sekerinski
    Integrated Formal Methods
    11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
    08/2014
    Springer
    9783319101811 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: From Action Systems to Distributed Systems - Chapman & Hall/CRC
    Luigia Petre | Emil Sekerinski
    From Action Systems to Distributed Systems
    The Refinement Approach
    04/2016
    Chapman & Hall/CRC
    9781498701594 (ISBN)
    E-Book
    PDF
    Other editions
    €63.49
    Available for download
  6. Cover: Program Development by Refinement - Springer
    Emil Sekerinski | Kaisa Sere
    Program Development by Refinement
    Case Studies Using the B Method
    12/2012
    Springer
    9781447105855 (ISBN)
    E-Book
    PDF
    Other editions
    €213.99
    Available for download
  7. Cover: From Action Systems to Distributed Systems - Chapman and Hall
    Luigia Petre | Emil Sekerinski
    From Action Systems to Distributed Systems
    The Refinement Approach
    04/2016
    1st EDN1st Edition
    Chapman and Hall
    9781040189351 (ISBN)
    E-Book
    ePUB
    Other editions
    €63.49
    Available for download
  8. Cover: Formal Methods. FM 2019 International Workshops - Springer
    Emil Sekerinski | Nelma Moreira | José N. Oliveira
    Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
    08/2020
    Springer
    9783030549930 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Formal Methods. FM 2019 International Workshops - Springer
    Emil Sekerinski | Nelma Moreira | José N. Oliveira
    Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
    08/2020
    Springer
    9783030549961 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: FM 2006: Formal Methods - Springer
    Jayadev Misra | Tobias Nipkow | Emil Sekerinski
    FM 2006: Formal Methods
    14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
    08/2006
    Springer
    9783540372158 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  11. Cover: From Action Systems to Distributed Systems - Chapman & Hall/CRC
    Luigia Petre | Emil Sekerinski
    From Action Systems to Distributed Systems
    The Refinement Approach
    04/2016
    1st EDN1st Edition
    Chapman & Hall/CRC
    9781498701587 (ISBN)
    Book
    Hardback
    Other editions
    €259.98
    Shipment within 15-20 days
  12. Cover: From Action Systems to Distributed Systems - Chapman & Hall/CRC
    Luigia Petre | Emil Sekerinski
    From Action Systems to Distributed Systems
    The Refinement Approach
    06/2020
    1st EDN1st Edition
    Chapman & Hall/CRC
    9780367574857 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €67.60
    Shipment within 15-20 days
  13. Cover: Formal Methods Teaching - Springer
    Emil Sekerinski | Leila Ribeiro
    Formal Methods Teaching
    6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
    09/2024
    Springer
    9783031713781 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €40.65
    Shipment within 15-20 days
  14. Cover: Integrated Formal Methods - Springer
    Elvira Albert | Emil Sekerinski
    Integrated Formal Methods
    11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
    09/2014
    Springer
    9783319101804 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  15. Cover: Integrated Formal Methods - Springer
    Elvira Albert | Emil Sekerinski
    Integrated Formal Methods
    11th International Conference, Ifm 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
    09/2014
    Springer
    9783319101828 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  16. Cover: Program Development by Refinement - Springer
    Emil Sekerinski | Kaisa Sere
    Program Development by Refinement
    Case Studies Using the B Method
    10/1998
    Springer
    9781852330538 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €213.99
    Shipment within 15-20 days