emil sekerinski

Grid   List

  1. From Action Systems to Distributed Systems
    From Action Systems to Distributed Systems
    Luigia Petre
    Taylor & Francis eBooks
    Ebook
    Sofort lieferbar
    A tribute to Professor Kaisa Sere's contributions to the field of computer science, From Action Systems to Distributed Systems: The Refinement Approach presents state-of-the-art information on the ...
    60,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Integrated Formal Methods
    Integrated Formal Methods
    Elvira Albert
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers p...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. FM 2006: Formal Methods
    FM 2006: Formal Methods
    Jayadev Misra
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together ...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Formal Methods. FM 2019 International Workshops
    Formal Methods. FM 2019 International Workshops
    Emil Sekerinski
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods. FM 2019 International Workshops
    Formal Methods. FM 2019 International Workshops
    Emil Sekerinski
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Program Development by Refinement
    Program Development by Refinement
    Emil Sekerinski
    Springer London
    Ebook
    Sofort lieferbar
    The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequ...
    213,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Formal Methods Teaching
    Formal Methods Teaching
    Emil Sekerinski
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.
    40,65 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. From Action Systems to Distributed Systems
    From Action Systems to Distributed Systems
    Luigia Petre
    Taylor & Francis eBooks
    Ebook
    Sofort lieferbar
    A tribute to Professor Kaisa Sere's contributions to the field of computer science, From Action Systems to Distributed Systems: The Refinement Approach presents state-of-the-art information on the ...
    60,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Program Development by Refinement
    Program Development by Refinement
    Kaisa Sere
    Springer London, Springer London
    Taschenbuch
    Bezug 11-15
    The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequ...
    242,98 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Integrated Formal Methods
    Integrated Formal Methods
    Emil Sekerinski
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers p...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Formal Methods. FM 2019 International Workshops
    Formal Methods. FM 2019 International Workshops
    Emil Sekerinski
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Formal Methods. FM 2019 International Workshops
    Formal Methods. FM 2019 International Workshops
    Emil Sekerinski
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>