*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. A Process Algebraic Approach to Software Architecture Design
    A Process Algebraic Approach to Software Architecture Design
    Alessandro Aldini
    Springer London
    Taschenbuch
    Print on Demand

    Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

    75,57 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Methods for the Design of Real-Time Systems
    Formal Methods for the Design of Real-Time Systems
    Flavio Corradini
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 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
    Taschenbuch
    Print on Demand

    This volume was published in honor of Rocco De Nicoläs 65th birthday. The Festschrift volume cont...

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1