Order Total (1 Item Items):
Shipping Destination:
Specification Analysis Concurrent Systems by Janicki Ryszard (14 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (14)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (7)
- As New, Fine or Near Fine (3)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (3)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (4)
- Not Print on Demand (10)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Specification and Analysis of Concurrent Systems: The COSY Approach (Monographs in Theoretical Computer Science. An EATCS Series).
Seller: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Germany
Seller rating 5 out of 5 stars
hardcover. Condition: Sehr gut. 492 p. In very good condition. ISBN: 9783540552048 Sprache: Englisch Gewicht in Gramm: 864.
-
Specification and Analysis of Concurrent Systems: The Cosy Approach (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Good. Ex-library copy with stamps and stickers. The copy shows minor external wear, but is in otherwise clean condition.
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Condition: Used. pp. 480.
-
Condition: Used. pp. 480.
-
Condition: Used. pp. 480.
-
Specification and Analysis of Concurrent Systems: The COSY Approach (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 96.88
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Specification and Analysis of Concurrent Systems : The COSY Approach
Language: English
Published by Springer-Verlag GmbH & Co. KG, 1992
ISBN 10: 3540552049 ISBN 13: 9783540552048
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 492 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Paperback. Condition: Brand New. reprint edition. 492 pages. 9.40x6.80x1.10 inches. In Stock.
-
Paperback. Condition: Like New. Like New. book.
-
Condition: new. Questo è un articolo print on demand.
-
Specification and Analysis of Concurrent Systems
Language: English
Published by Springer Vieweg, Springer Dez 2011, 2011
ISBN 10: 3642773397 ISBN 13: 9783642773396
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 reactive systems.The COSY approach extends theconventional notions ofgrammar and automaton from formal language and automatatheory to collections of 'synchronized' grammars andautomata, permitting system specification and analysis of'true' concurrency without reduction to non-determinism.COSY theory is developed to a great level of detail andconstitutes the first uniform and self-containedpresentationof all results about COSY published in thepast, as well as including many new results.COSY theory is used to analyze a sufficient number oftypical problems involving concurrency, synchronization andscheduling, to allow the reader to apply the techniquespresented tosimilar problems.The COSY model is also related to many alternative models ofconcurrency, particularly Petri Nets, CommunicatingSequential Processes and the Calculus of CommunicatingSystems. 500 pp. Englisch.
-
Specification and Analysis of Concurrent Systems
Language: English
Published by Springer Berlin Heidelberg, 2011
ISBN 10: 3642773397 ISBN 13: 9783642773396
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.
-
Specification and Analysis of Concurrent Systems
Language: English
Published by Springer Gabler, Springer Dez 2011, 2011
ISBN 10: 3642773397 ISBN 13: 9783642773396
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The COSY formalism facilitates the abstraction of synchronizational aspects of concurrent and reactive systems, and their analysis. The COSY theory is developed in detail and proofs of major results are given in full. Applications of COSY to practical problems are given.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.
