Order Total (1 Item Items):
Shipping Destination:
Specification Analysis Concurrent Systems by Janicki Ryszard (13 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (13)
- 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 (10)
- As New, Fine or Near Fine (2)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
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 (3)
- Not Print on Demand (10)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
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. pp. 480.
-
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
£ 8.92 10% off£ 8.03
£ 91.30 shipping
Ships from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 492 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Condition: New. 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
£ 94.60
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. pp. 480.
-
Taschenbuch. Condition: Neu. Specification and Analysis of Concurrent Systems | The COSY Approach | Ryszard Janicki (u. a.) | Taschenbuch | xii | Englisch | 2011 | Springer | EAN 9783642773396 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
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.
