Lectures On Formal Methods And Performance Analysis 1
bokomslag Lectures On Formal Methods And Performance Analysis

Lectures On Formal Methods And Performance Analysis

Brinksma Ed Brinksma • Hermanns Holger Hermanns • Katoen Joost-Pieter Katoen

Pocket

899:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 2014
  • Författare: Brinksma Ed Brinksma, Hermanns Holger Hermanns, Katoen Joost-Pieter Katoen
  • Format: Pocket/Paperback
  • ISBN: 9783662181171
  • Språk: Engelska
  • Utgivningsdatum: 2014-03-12
  • Förlag: Springer Nature B.V.

Du kanske gillar

  1. bokomslag Lectures on Formal Methods and Performance Analysis

    Lectures on Formal Methods and Perfor...

    Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

    Pocket

    1039:-
  2. bokomslag Model-Based Testing of Reactive Systems

    Model-Based Testing of Reactive Systems

    Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

    Pocket

    1009:-
  3. bokomslag Computer Aided Verification

    Computer Aided Verification

    Holger Hermanns Werner Damm

    Pocket

    1009:-
  4. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Ed Brinksma, W Rance Cleaveland, Kim G Larsen, Tiziana Margaria, Bernhard Steffen

    Pocket

    1009:-
  5. bokomslag CONCUR 2006 - Concurrency Theory

    CONCUR 2006 - Concurrency Theory

    Holger Hermanns Christel Baier

    Pocket

    1999:-
  6. bokomslag Computer Aided Verification

    Computer Aided Verification

    Kim G Larsen Ed Brinksma

    Pocket

    1959:-
  7. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Ed Brinksma

    Pocket

    1009:-
  8. Ny
    bokomslag Dancing Queen

    Dancing Queen

    Denise Rudberg

    Pocket

    69:- (119:-)
  9. bokomslag Au revoir Agneta

    Au revoir Agneta

    Emma Hamberg

    Pocket

    69:- (119:-)
  10. bokomslag De fenomenala fruntimren på Grand Hôtel

    De fenomenala fruntimren på Grand Hôtel

    Ruth Kvarnström Jones

    Pocket

    69:- (119:-)

Andra av samma författare

  1. bokomslag Formal Methods

    Formal Methods

    Chechik Marsha Chechik, Katoen Joost-Pieter Katoen, Leucker Martin Leucker

    Pocket

    879:-