Peter E. Lauer – författare
Visar alla böcker från författaren Peter E. Lauer. Handla med fri frakt och snabb leverans.
3 produkter
Functional Programming, Concurrency, Simulation and Automated Reasoning
International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Häftad, 1993
568 kr
Lägg i varukorg
This collection of papers arose from a series of lecturesfor workers in computer science and other disciplines. Thelectures were intended to familiarize them with some of themost exciting advanced computer based systems for theconceptualization, design, implementation, simulation, andlogical …
Specification and Analysis of Concurrent Systems
The COSY Approach
Av Peter E. Lauer, Ryszard Janicki
E-bok, 2012
1470 kr
Lägg i varukorg
Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and …
Specification and Analysis of Concurrent Systems
The COSY Approach
Av Ryszard Janicki, Peter E. Lauer m. fl.
Häftad, 2011
1129 kr
Lägg i varukorg
Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and …
