einar broch johnsen

Grid   List

  1. Integrated Formal Methods
    Integrated Formal Methods
    Einar Broch Johnsen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presente...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Service-Oriented and Cloud Computing
    Service-Oriented and Cloud Computing
    Flavio De Paoli
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway, in September 2017.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Methods for Open Object-Based Distributed Systems
    Formal Methods for Open Object-Based Distributed Systems
    Marcello M. Bonsangue
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Service-Oriented and Cloud Computing
    Service-Oriented and Cloud Computing
    Marco Aiello
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, held in Vienna, Austria, in September 2016.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods for Multicore Programming
    Formal Methods for Multicore Programming
    Marco Bernardo
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems,...
    50,28 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Formal Methods for Executable Software Models
    Formal Methods for Executable Software Models
    Marco Bernardo
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems,...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Tests and Proofs
    Tests and Proofs
    Sebastian Gabmeyer
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Einar Broch Johnsen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 20...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Theory and Practice of Formal Methods
    Theory and Practice of Formal Methods
    Erika Ábrahám
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formalmethods and theor...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. The Logic of Software. A Tasting Menu of Formal Methods
    The Logic of Software. A Tasting Menu of Formal Methods
    Wolfgang Ahrendt
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Active Object Languages: Current Research Trends
    Active Object Languages: Current Research Trends
    Frank de Boer
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free progr...
    69,54 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Manuel Wimmer
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand
    This open access book constitutes the proceedings of the 25 sup thsupInternational Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>