marco bernardo

Grid   List

  1. Formal Methods for Eternal Networked Software Systems
    Formal Methods for Eternal Networked Software Systems
    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents 15 tutorial lectures by leading researchers given at the 11th 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
  2. A Process Algebraic Approach to Software Architecture Design
    A Process Algebraic Approach to Software Architecture Design
    Alessandro Aldini
    Springer London
    Ebook
    Sofort lieferbar
    Concurrency theory, software architecture, system modeling and verification, and dependability and performance evaluation may seem unrelated disciplines, but in reality they are deeply intertwined ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    Marco Bernardo
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book presents 8 tutorial lectures given by leading researchers at the 16th 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
  4. Formal Methods for Mobile Computing
    Formal Methods for Mobile Computing
    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal Methods for Mobile Computing
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods for Performance Evaluation
    Formal Methods for Performance Evaluation
    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communicati...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Formal Methods for Quantitative Aspects of Programming Languages
    Formal Methods for Quantitative Aspects of Programming Languages
    Alessandro Aldini
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal Methods for Quantitative Aspects of Programming Languages
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. 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
  8. Formal Methods for Dynamical Systems
    Formal Methods for Dynamical Systems
    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems,...
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. 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
  10. Formal Methods for Hardware Verification
    Formal Methods for Hardware Verification
    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Sof...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Computer Performance Engineering
    Computer Performance Engineering
    Alessandro Aldini
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro, Italy, on September 23-24, 2010. The purpose of this workshop series is to ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Formal Methods for Computational Systems Biology
    Formal Methods for Computational Systems Biology
    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal Methods for Computational Systems Biology
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
<%--for search--%>