Order Total (1 Item Items):
Shipping Destination:
Hooman Jozef (19 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (19)
- 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
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 (6)
- Not Print on Demand (13)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
Seller Location
Seller Rating
-
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Specification and Compositional Verification of Real-Time Systems
Published by Springer Berlin Heidelberg, 1991
ISBN 10: 3540549471 ISBN 13: 9783540549475
Language: English
£ 47.64
Convert currency£ 12.10 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The research described in this monograph concerns the formalspecification and compositional verification of real-timesystems. A real-time programminglanguage is considered inwhich concurrent processes communicate by synchronousmessage passing along unidirectional channels. To specifiyfunctional and timing properties of programs, two formalismsare investigated: one using a real-time version of temporallogic, called Metric Temporal Logic, and another which isbasedon extended Hoare triples. Metric Temporal Logicprovides a concise notationto express timing properties andto axiomatize the programming language, whereas Hoare-styleformulae are especially convenient for the verification ofsequential constructs. For both approaches a compositionalproof system has been formulated to verify that a programsatisfies a specification. To deduce timing properties ofprograms, first maximal parallelism is assumed, modeling thesituation in which each process has itsown processor. Next,this model is generalized to multiprogramming where severalprocesses may share a processor and scheduling is based onpriorities. The proof systems are shown to be sound andrelatively complete with respect to a denotational semanticsof the programming language. The theory is illustrated by anexample of a watchdog timer.
-
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Published by Cambridge University Press, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
Language: English
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
PF. Condition: New.
-
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Published by Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 82.03
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 38.80
Convert currency£ 55.84 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. 0387549471 Ex-library paperback in very nice condition with the usual markings and attachments.
-
£ 45.66
Convert currency£ 55.84 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Concurrency Verification
Published by Cambridge University Press, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
Language: English
Condition: New. pp. 800 Illus.
-
Concurrency Verification
Published by Cambridge University Press CUP, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
Language: English
£ 106.78
Convert currency£ 6.70 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New. pp. 800.
-
Concurrency Verification
Published by Cambridge University Press, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
Language: English
£ 117.53
Convert currency£ 6.87 shipping from Germany to United KingdomQuantity: 4 available
Add to basketCondition: New. pp. 800.
-
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Published by Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Language: English
£ 76.96
Convert currency£ 55.84 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Published by Cambridge University Press, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 238.03
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Published by Cambridge University Press, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
Language: English
£ 215.56
Convert currency£ 55.84 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Specification and Compositional Verification of Real-Time Systems
Published by Springer Berlin Heidelberg, 1991
ISBN 10: 3540549471 ISBN 13: 9783540549475
Language: English
£ 43.08
Convert currency£ 21.61 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The research described in this monograph concerns the formalspecification and compositional verification of real-timesystems. A real-time programminglanguage is considered inwhich concurrent processes communicate by synchronousmessage passing along.
-
Specification and Compositional Verification of Real-Time Systems
Published by Springer Berlin Heidelberg Nov 1991, 1991
ISBN 10: 3540549471 ISBN 13: 9783540549475
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 66.71
Convert currency£ 9.51 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The research described in this monograph concerns the formalspecification and compositional verification of real-timesystems. A real-time programminglanguage is considered inwhich concurrent processes communicate by synchronousmessage passing along unidirectional channels. To specifiyfunctional and timing properties of programs, two formalismsare investigated: one using a real-time version of temporallogic, called Metric Temporal Logic, and another which isbasedon extended Hoare triples. Metric Temporal Logicprovides a concise notationto express timing properties andto axiomatize the programming language, whereas Hoare-styleformulae are especially convenient for the verification ofsequential constructs. For both approaches a compositionalproof system has been formulated to verify that a programsatisfies a specification. To deduce timing properties ofprograms, first maximal parallelism is assumed, modeling thesituation in which each process has itsown processor. Next,this model is generalized to multiprogramming where severalprocesses may share a processor and scheduling is based onpriorities. The proof systems are shown to be sound andrelatively complete with respect to a denotational semanticsof the programming language. The theory is illustrated by anexample of a watchdog timer. 252 pp. Englisch.
-
Specification and Compositional Verification of Real-Time Systems
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1991, 1991
ISBN 10: 3540549471 ISBN 13: 9783540549475
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 47.64
Convert currency£ 30.27 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The research described in this monograph concerns the formalspecification and compositional verification of real-timesystems. A real-time programminglanguage is considered inwhich concurrent processes communicate by synchronousmessage passing along unidirectional channels. To specifiyfunctional and timing properties of programs, two formalismsare investigated: one using a real-time version of temporallogic, called Metric Temporal Logic, and another which isbasedon extended Hoare triples. Metric Temporal Logicprovides a concise notationto express timing properties andto axiomatize the programming language, whereas Hoare-styleformulae are especially convenient for the verification ofsequential constructs. For both approaches a compositionalproof system has been formulated to verify that a programsatisfies a specification. To deduce timing properties ofprograms, first maximal parallelism is assumed, modeling thesituation in which each process has itsown processor. Nextthis model is generalized to multiprogramming where severalprocesses may share a processor and scheduling is based onpriorities. The proof systems are shown to be sound andrelatively complete with respect to a denotational semanticsof the programming language. The theory is illustrated by anexample of a watchdog timer.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.
-
Paperback. Condition: Brand New. 798 pages. 9.02x5.98x1.57 inches. In Stock. This item is printed on demand.
-
Hardcover. Condition: Brand New. 798 pages. 9.00x6.25x1.50 inches. In Stock. This item is printed on demand.
-
Concurrency Verification
Published by Cambridge University Press, 2011
ISBN 10: 0521806089 ISBN 13: 9780521806084
Language: English
£ 259.36
Convert currency£ 21.61 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketGebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery o.
