mehr als bücher

Grid  List

  1. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    Marco Bernardo
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the In...

    53,49 €*
  2. Formal Methods for Executable Software Models
    Formal Methods for Executable Software Models
    Marco Bernardo
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeAnalysis of Executable Software Models.- Deadlock Detection in Linear Recursive Prog...

    53,49 €*
  3. Formal Methods for Model-Driven Engineering
    Formal Methods for Model-Driven Engineering
    Marco Bernardo
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the I...

    53,49 €*
  4. Formal Methods for Hardware Verification
    Formal Methods for Hardware Verification
    Marco Bernardo
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edi...

    53,49 €*
  5. A Process Algebraic Approach to Software Architecture Design
    A Process Algebraic Approach to Software Architecture Design
    Alessandro Aldini
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

    Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

    53,49 €*
  6. Formal Methods for Multicore Programming
    Formal Methods for Multicore Programming
    Marco Bernardo
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeParallel Objects for Multicores: A Glimpse at the Parallel Language Encore.- Coordin...

    51,36 €*
  7. Formal Methods for Dynamical Systems
    Formal Methods for Dynamical Systems
    Marco Bernardo
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the In...

    49,22 €*
  8. Formal Methods for the Design of Real-Time Systems
    Formal Methods for the Design of Real-Time Systems
    Marco Bernardo
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    A large class of computing systems can be speci?ed and veri?ed by abstracting away from the tempo...

    53,49 €*
  9. A Process Algebraic Approach to Software Architecture Design
    A Process Algebraic Approach to Software Architecture Design
    Alessandro Aldini
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

    53,49 €*
  10. Computer Performance Engineering
    Computer Performance Engineering
    Alessandro Aldini
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2...

    53,49 €*
  11. Formal Methods for Computational Systems Biology
    Formal Methods for Computational Systems Biology
    Marco Bernardo
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book presents a set of 14 papers accompanying the lectures of leading researchers given at t...

    53,49 €*
  12. Formal Methods for Quantitative Aspects of Programming Languages
    Formal Methods for Quantitative Aspects of Programming Languages
    Alessandro Aldini
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    53,49 €*
  1. 1
  2. 2