Process Algebra: Equational Theories of Communicating Processes (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Process Algebra: Equational Theories of Communicating Processes

Process Algebra: Equational Theories of Communicating Processes

(Bog, Hardback, Engelsk)
Forfattere: J. C. M. (Technische Universiteit Eindhoven Baeten, T. (Technische Universiteit Eindhoven Basten, M. A. (Technische Universiteit Eindhoven Reniers
Process Algebra: Equational Theories of Communicating Processes
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfattere J. C. M. (Technische Universiteit Eindhoven Baeten, T. (Technische Universiteit Eindhoven Basten, M. A. (Technische Universiteit Eindhoven Reniers
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 16-12-2009
Første udgivelsesår 2009
Serie Cambridge Tracts in Theoretical Computer Science
Illustrationer Worked examples or Exercises; 80 Tables, unspecified; 5 Halftones, black and white; 60 Line drawings, black and white
Originalsprog United Kingdom
Sideantal 476
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 476 pages, Worked examples or Exercises; 80 Tables, unspecified; 5 Halftones, black and white; 60 Li
Mål 159 x 233 x 30
ISBN-13 / EAN-13 9780521820493