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

909:-

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

Uppskattad leveranstid 7-12 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

    789:-
  2. bokomslag Computer Aided Verification

    Computer Aided Verification

    Holger Hermanns Werner Damm

    Pocket

    759:-
  3. 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

    759:-
  4. bokomslag Element Analysis of Biological Samples

    Element Analysis of Biological Samples

    G Venkatesh Iyengar, K S Subramanian, Joost R W Woittiez

    Inbunden

    4639:-
  5. 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

    759:-
  6. bokomslag Handboek Praktijkvoering: Bouwstenen Voor de Huisartsgeneeskunde

    Handboek Praktijkvoering: Bouwstenen ...

    J N Belo, Fred Dijkers, Joost Leferink

    Inbunden

    1579:-
  7. bokomslag Sensory and Metabolic Control of Energy Balance

    Sensory and Metabolic Control of Ener...

    Wolfgang Meyerhof, Ulrike Beisiegel, Hans-Georg Joost

    Inbunden

    2309:-
  8. bokomslag CONCUR 2006 - Concurrency Theory

    CONCUR 2006 - Concurrency Theory

    Holger Hermanns Christel Baier

    Pocket

    1509:-
  9. bokomslag Working People Speak

    Working People Speak

    Jrg Wiegratz, Joseph Mujere, Joost Fontein

    Inbunden

    2579:-
  10. bokomslag Generative and Transformational Techniques in Software Engineering

    Generative and Transformational Techn...

    Ralf Lmmel, Joo Saraiva, Joost Visser

    Pocket

    759:-

Andra av samma författare

  1. bokomslag Formal Methods

    Formal Methods

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

    Pocket

    909:-