Formal Methods 1
bokomslag Formal Methods

Formal Methods

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

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:

  • 2023
  • Författare: Chechik Marsha Chechik, Katoen Joost-Pieter Katoen, Leucker Martin Leucker
  • Format: Pocket/Paperback
  • ISBN: 9783031274824
  • Språk: Engelska
  • Utgivningsdatum: 2023-03-08
  • Förlag: Springer Nature B.V.

Du kanske gillar

  1. bokomslag Formal Methods

    Formal Methods

    Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

    Pocket

    1479:-
  2. bokomslag Formal Methods: Applications and Technology

    Formal Methods: Applications and Tech...

    Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco Van De Pol

    Pocket

    769:-
  3. bokomslag Formal Methods in Outer Space

    Formal Methods in Outer Space

    Ezio Bartocci, Ylis Falcone, Martin Leucker

    Pocket

    839:-
  4. bokomslag Principles of Model Checking

    Principles of Model Checking

    Joost-Pieter Katoen Christel Baier

    Inbunden

    1839:-
  5. bokomslag Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theo...

    Nan Guan, Joost-Pieter Katoen, Jun Sun

    Pocket

    769:-
  6. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Jean-Franois Raskin Marsha Chechik

    Pocket

    769:-
  7. bokomslag Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software En...

    Martin Wirsing Marsha Chechik

    Pocket

    769:-
  8. bokomslag Formal Methods

    Formal Methods

    E W Beth

    Inbunden

    1519:-
  9. bokomslag Formal Methods

    Formal Methods

    Jean-Louis Boulanger

    Inbunden

    2779:-
  10. bokomslag Formal Methods

    Formal Methods

    Klaus Havelund, Jan Peleska, Bill Roscoe, Erik De Vink

    Pocket

    1369:-

Andra av samma författare

  1. bokomslag Lectures On Formal Methods And Performance Analysis

    Lectures On Formal Methods And Perfor...

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

    Pocket

    909:-