Probabilistic Trace and Testing Semantics 1
bokomslag Probabilistic Trace and Testing Semantics
Data & IT

Probabilistic Trace and Testing Semantics

Marco Bernardo

Pocket

1289:-

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

Uppskattad leveranstid 3-8 arbetsdagar

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

  • 106 sidor
  • 2022
  • Författare: Marco Bernardo
  • Format: Pocket/Paperback
  • ISBN: 9781638280743
  • Språk: Engelska
  • Antal sidor: 106
  • Utgivningsdatum: 2022-08-24
  • Förlag: Now Publishers Inc

Du kanske gillar

  1. bokomslag Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Einar Broch Johnsen Marco Bernardo

    Pocket

    699:-
  2. bokomslag Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    Formal Methods for the Quantitative E...

    Marco Bernardo, Rocco De Nicola, Jane Hillston

    Pocket

    719:-
  3. bokomslag Formal Methods for Executable Software Models

    Formal Methods for Executable Softwar...

    Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

    Pocket

    749:-
  4. bokomslag Formal Methods for Model-Driven Engineering

    Formal Methods for Model-Driven Engin...

    Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio

    Pocket

    749:-
  5. bokomslag Formal Methods for Mobile Computing

    Formal Methods for Mobile Computing

    Alessandro Bogliolo Marco Bernardo

    Pocket

    749:-
  6. bokomslag Formal Methods for Dynamical Systems

    Formal Methods for Dynamical Systems

    Marco Bernardo, Erik De Vink, Alessandra Di Pierro, Herbert Wiklicky, Erik De

    Pocket

    689:-
  7. bokomslag Formal Methods for Web Services

    Formal Methods for Web Services

    Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

    Pocket

    689:-
  8. bokomslag Formal Methods for Performance Evaluation

    Formal Methods for Performance Evalua...

    Jane Hillston Marco Bernardo

    Pocket

    749:-
  9. bokomslag Formal Methods for Computational Systems Biology

    Formal Methods for Computational Syst...

    Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

    Pocket

    749:-
  10. bokomslag Formal Methods for Eternal Networked Software Systems

    Formal Methods for Eternal Networked ...

    Valerie Issarny Marco Bernardo

    Pocket

    749:-

Andra av samma författare

  1. bokomslag Process Algebraic Approach to Software Architecture Design

    Process Algebraic Approach to Softwar...

    Alessandro Aldini, Marco Bernardo, Flavio Corradini

    749:-
  2. bokomslag Process Algebraic Approach to Software Architecture Design

    Process Algebraic Approach to Softwar...

    Alessandro Aldini, Marco Bernardo, Flavio Corradini

    Inbunden

    749:-
  3. bokomslag Formal Methods for Executable Software Models

    Formal Methods for Executable Softwar...

    Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

    Pocket

    749:-
  4. bokomslag Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Einar Broch Johnsen Marco Bernardo

    Pocket

    699:-
  5. bokomslag Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    Formal Methods for the Quantitative E...

    Marco Bernardo, Rocco De Nicola, Jane Hillston

    Pocket

    719:-
  6. bokomslag Formal Methods for Software Architectures

    Formal Methods for Software Architect...

    Paola Inverardi Marco Bernardo

    Pocket

    749:-
  7. bokomslag Formal Methods for the Design of Real-Time Systems

    Formal Methods for the Design of Real...

    Flavio Corradini Marco Bernardo

    Pocket

    749:-
  8. bokomslag Formal Methods for Mobile Computing

    Formal Methods for Mobile Computing

    Alessandro Bogliolo Marco Bernardo

    Pocket

    749:-
  9. bokomslag Formal Methods for Hardware Verification

    Formal Methods for Hardware Verification

    Alessandro Cimatti Marco Bernardo

    Pocket

    749:-
  10. bokomslag Formal Methods for Computational Systems Biology

    Formal Methods for Computational Syst...

    Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

    Pocket

    749:-