Process Algebra: Equational Theories of Communicating Processes 1
bokomslag Process Algebra: Equational Theories of Communicating Processes
Data & IT

Process Algebra: Equational Theories of Communicating Processes

J C M Baeten • T Basten • M A Reniers • J C M Baeten

Inbunden

1629:-

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

  • 476 sidor
  • 2009
Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book presents a comprehensive overview of the various process algebras in use, and sets the standard for the field. Features include numerous exercises and an accompanying website.
  • Författare: J C M Baeten, T Basten, M A Reniers, J C M Baeten
  • Format: Inbunden
  • ISBN: 9780521820493
  • Språk: Engelska
  • Antal sidor: 476
  • Utgivningsdatum: 2009-12-16
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Sensors and Signal Conditioning

    Sensors and Signal Conditioning

    Ramón Pallás-Areny, John G Webster, Ramon Pallas-Areny, John G Webster, John G Webster

    Inbunden

    3109:-
  2. bokomslag Theoretical Computer Science

    Theoretical Computer Science

    Jos C M Baeten, Tom Ball, Frank S De Boer, Jos C M Baeten

    Pocket

    719:-
  3. bokomslag Process Algebra with Timing

    Process Algebra with Timing

    J C M Baeten, C A Middelburg, J C M Baeten, C A Middelburg

    Inbunden

    739:-
  4. bokomslag Cambridge Companion to the American Graphic Novel

    Cambridge Companion to the American G...

    Jan Baetens, Hugo Frey, Fabrice Leroy, Jan Baetens, Hugo Frey

    479:-
  5. bokomslag Sovereignty, Statehood and State Responsibility

    Sovereignty, Statehood and State Resp...

    Christine Chinkin, Freya Baetens, Christine Chinkin, Freya Baetens

    Inbunden

    1629:-
  6. bokomslag Other Glass Ceiling

    Other Glass Ceiling

    Charles S Areni, Stephen S Holden, Professor Charles S Areni, Charles S Areni, Stephen S Holden

    299:-
  7. bokomslag Sarah et Shana

    Sarah et Shana

    Anne Françoise Rappez, J C M, Alicia Victoriama, J C M, J C M

    Pocket

    139:-
  8. bokomslag Shakespeare and War

    Shakespeare and War

    R King, P Franssen, Ros King, Paul J C M Franssen, King

    Inbunden

    829:-
  9. bokomslag Mathematics for Electrical Technicians

    Mathematics for Electrical Technicians

    John Bird, A J C May, A J C May, A J C May

    Pocket

    1519:-
  10. bokomslag System-Scenario-based Design Principles and Applications

    System-Scenario-based Design Principl...

    Francky Catthoor, Twan Basten, Nikolaos Zompakis, Marc Geilen, Per Gunnar Kjeldsberg

    Inbunden

    2129:-

Andra av samma författare

  1. bokomslag Applications of Process Algebra

    Applications of Process Algebra

    J C M Baeten, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1539:-
  2. bokomslag Process Algebra with Timing

    Process Algebra with Timing

    J C M Baeten, C A Middelburg, J C M Baeten, C A Middelburg

    Inbunden

    739:-
  3. bokomslag Process Algebra with Timing

    Process Algebra with Timing

    J C M Baeten, C A Middelburg, J C M Baeten, C A Middelburg

    719:-