Pay in 4 interest-free payments of $13.37 Learn more
Ships within 48 hours · Estimated delivery Aug 20 - Aug 25
These advances form the nucleus of new formal methods to solve design
worauf dieser Boom der vergangenen Jahre zurückzuführen ist
selbst abzuwägen und zu entscheiden
Veranstaltung: Außenhandelspolitik
1Authentifizierung15
A Process Algebraic Approach to Software Architecture Design formatIsbn:Softcover - 9781447157663 These advances form the nucleusInthe? eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest. Thisisespeciallytrueforprocessalgebra. Althoughit had been originally conceived as a means for reasoning about the semantics of c current programs, process algebraic formalisms like CCS, CSP, ACP, ? calculus, and their extensions (see, e. g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the
US$ 54.90
US$ 58.90
US$ 16.90
