Probabilistic Trace and Testing Semantics: The Importance of Being Coherent 1
bokomslag Probabilistic Trace and Testing Semantics: The Importance of Being Coherent
Data & IT

Probabilistic Trace and Testing Semantics: The Importance of Being Coherent

Marco Bernardo • Marco Bernardo

Häftad

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:-

  • 104 sidor
  • 2022
  • Författare: Marco Bernardo, Marco Bernardo
  • Format: Häftad
  • ISBN: 9781638280743
  • Språk: Engelska
  • Antal sidor: 104
  • Utgivningsdatum: 2022-08-24
  • Förlag: Now Publishers

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

    729:-
  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 Computer Performance Engineering

    Computer Performance Engineering

    Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa

    Pocket

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

    Formal Methods for Model-Driven Engin...

    Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio

    Pocket

    749:-
  6. bokomslag Formal Methods for Quantitative Aspects of Programming Languages

    Formal Methods for Quantitative Aspec...

    Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky

    Pocket

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

    Process Algebraic Approach to Softwar...

    Alessandro Aldini, Marco Bernardo, Flavio Corradini

    Inbunden

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

    Process Algebraic Approach to Softwar...

    Alessandro Aldini, Marco Bernardo, Flavio Corradini

    749:-
  9. bokomslag Formal Methods for Mobile Computing

    Formal Methods for Mobile Computing

    Alessandro Bogliolo Marco Bernardo

    Pocket

    749:-
  10. bokomslag Formal Methods for Dynamical Systems

    Formal Methods for Dynamical Systems

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

    Pocket

    699:-

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

    729:-
  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:-