Product Description
ISBN: 9783540195818
TITLE: Specification and Verification of Concurrent Systems
AUTHOR: Charles Rattray
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 23 Jul 1990
AED
AED
ISBN: 9783540195818
TITLE: Specification and Verification of Concurrent Systems
AUTHOR: Charles Rattray
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 23 Jul 1990
Popular Trending Products
ISBN: 9781780173634TITLE: Verification of Message Passing Concurrent SystemsAUTHOR: Dr Emanuele D'Os…
ISBN: 9781461269502TITLE: The Temporal Logic of Reactive and Concurrent Systems : SpecificationAUTHO…
ISBN: 9783642773396TITLE: Specification and Analysis of Concurrent Systems : The COSY ApproachAUTHOR…
ISBN: 9781461353492TITLE: Compositional Verification of Concurrent and Real-Time Systems : 676AUTHOR…