BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Specification and Compositional Verification of Real-Time Systems
Stock photo: cover may vary

Specification and Compositional Verification of Real-Time Systems Paperback - 1991

by Jozef Hooman

Add to wish list

Reader reviews for Specification and Compositional Verification of Real-Time Systems

From the publisher

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.

Details

  • Title Specification and Compositional Verification of Real-Time Systems
  • Author Jozef Hooman
  • Binding Paperback
  • Edition First Edition
  • Pages 242
  • Volumes 1
  • Language ENG
  • Publisher Springer, Heidelberg
  • Publication date 1991-11-27
  • Features Bibliography
  • ISBN 9783540549475 / 3540549471
  • Weight 0.79 lbs (0.36 kg)
  • Dimensions 9.21 x 6.14 x 0.53 in (23.39 x 15.60 x 1.35 cm)
  • Category Computers - General Information
  • Library of Congress Catalogue Number 91041783
  • Dewey Decimal Code 004.33

More Copies for Sale

Specification and Compositional Verification of Real-Time Systems

Specification and Compositional Verification of Real-Time Systems

by Jozef Hooman

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540549475 / 3540549471
Quantity available
524
Seller
Item price
A$104.37
A$15.45 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent processes communicate by synchronous messa
Add to wish list
Item price
A$104.37
A$15.45 Delivery to USA
Specification and Compositional Verification of Real-Time Systems
Stock photo: cover may vary

Specification and Compositional Verification of Real-Time Systems

by Jozef Hooman

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540549475 / 3540549471
Quantity available
10
Seller
Item price
A$112.38
A$19.24 Delivery to USA

Show details

Description:
Paperback / softback. New. 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.
Add to wish list
Item price
A$112.38
A$19.24 Delivery to USA
Specification and Compositional Verification Of Real-Time Systems
Stock photo: cover may vary

Specification and Compositional Verification Of Real-Time Systems

by Hooman, Jozef,

  • New
Condition
New
ISBN 10 / ISBN 13
9783540549475 / 3540549471
Quantity available
5
Seller
Item price
A$92.31
A$5.77 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$92.31
A$5.77 Delivery to USA
Specification and Compositional Verification Of Real-Time Systems
Stock photo: cover may vary

Specification and Compositional Verification Of Real-Time Systems

by Hooman, Jozef,

  • Used
Condition
New
ISBN 10 / ISBN 13
9783540549475 / 3540549471
Quantity available
5
Seller
Item price
A$122.03
A$5.77 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$122.03
A$5.77 Delivery to USA
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer...
Stock photo: cover may vary

Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558)

by Hooman, Jozef

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540549475 / 3540549471
Quantity available
1
Seller
Item price
A$127.82
Free Delivery to USA

Show details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$127.82
Free Delivery to USA