Grid   List

  1. Formal Methods for Computational Systems Biology

    Formal Methods for Computational Systems Biology

    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. 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...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Formal Methods for Mobile Computing

    Formal Methods for Mobile Computing

    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Formal Methods for Web Services

    Formal Methods for Web Services

    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book presents a set of 8 papers accompanyi...

    48,14 €
    Alle Preise inkl. MwSt
    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 accompany...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Formal Methods for Model-Driven Engineering

    Formal Methods for Model-Driven Engineering

    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book presents 11 tutorial lectures by lead...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. 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...

    48,14 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. 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...

    50,28 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  9. Formal Methods for Quantitative Aspects of Programming Languages

    Formal Methods for Quantitative Aspects of Programming Languages

    Alessandro Aldini
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  10. 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...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  11. 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 le...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  12. 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 lead...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  1. 1
  2. 2
  3. 3
Google Plus
Powered by Inooga