M. A. Reniers – författare

Visar alla böcker från författaren M. A. Reniers. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Process Algebra: Equational Theories of Communicating Processes

   Av J. C. M. Baeten, T. Basten m. fl.

   Inbunden, 2009

   1610 kr

   Lägg i varukorg

   Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified …