Order Total (1 Item Items):
Shipping Destination:
Jozef Hooman (26 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (26)
- 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 (22)
- As New, Fine or Near Fine (4)
- Very Good or Good (No further results match this refinement)
- 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 (13)
- Not Print on Demand (20)
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
-
Condition: As New. Unread book in perfect condition.
-
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.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Paperback. Condition: New.
-
-
Specification and Compositional Verification of Real-time Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Specification and Compositional Verification of Real-time Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Concurrency Verification : Introduction to Compositional and Noncompositional Methods
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Condition: New.
-
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Condition: New.
-
Concurrency Verification Introduction to Compositional and Non-compositional Methods
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
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.
-
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 81.53
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Concurrency Verification : Introduction to Compositional and Noncompositional Methods
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Condition: As New. Unread book in perfect condition.
-
Concurrency Verification : Introduction to Compositional and Noncompositional Methods
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Concurrency Verification Introduction to Compositional and Non-compositional Methods
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Taschenbuch. 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. 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.
-
Taschenbuch. Condition: Neu. Specification and Compositional Verification of Real-Time Systems | Jozef Hooman | Taschenbuch | x | Englisch | 1991 | Springer | EAN 9783540549475 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Concurrency Verification
Language: English
Published by Cambridge University Press CUP, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
Condition: New. pp. 800.
-
Concurrency Verification : Introduction to Compositional and Noncompositional Methods
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Concurrency Verification
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
Condition: New. pp. 800 Illus.
-
Concurrency Verification
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
Condition: New. pp. 800.
-
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 235.13
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Specification and Compositional Verification of Real-Time Systems
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1991, 1991
ISBN 10: 3540549471 ISBN 13: 9783540549475
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 -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
Language: English
Published by Springer Berlin Heidelberg, 1991
ISBN 10: 3540549471 ISBN 13: 9783540549475
Condition: 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
Language: English
Published by Springer, Springer Nov 1991, 1991
ISBN 10: 3540549471 ISBN 13: 9783540549475
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 -This monograph presents two formal methods for the specification and compositional verification of real-time systems. One uses a real-time extension of temporal logic and the other is based on extended Hoare triples. Programs consist of concurrent processes with synchronous message passing. The maximal parallelism model is extended to multiprogramming.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 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
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521806089 ISBN 13: 9780521806084
Gebunden. 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.
