Erweiterte Suche

Grid  List

  1. Models, Languages, and Tools for Concurrent and Distributed Programming Models, Languages, and Tools for Concurrent and Distributed Programming

    Models, Languages, and Tools for Concurrent and Distributed Programming

    Michele Boreale
    Springer International Publishing, Springer International Publishing
    04.07.2019

    This volume was published in honor of Rocco De Nicola's 65th birthday. The Festschrift volume con...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. A Process Algebraic Approach to Software Architecture Design A Process Algebraic Approach to Software Architecture Design

    A Process Algebraic Approach to Software Architecture Design

    Alessandro Aldini
    Apress
    27.11.2009

    Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 57,00 €

    Jetzt 53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for the Design of Real-Time Systems Formal Methods for the Design of Real-Time Systems

    Formal Methods for the Design of Real-Time Systems

    Flavio Corradini
    Springer Berlin Heidelberg
    01.09.2004

    A large class of computing systems can be speci?ed and veri?ed by abstracting away from the tempo...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. A Process Algebraic Approach to Software Architecture Design A Process Algebraic Approach to Software Architecture Design

    A Process Algebraic Approach to Software Architecture Design

    Alessandro Aldini
    Springer London
    20.10.2014

    Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1