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 J. Hooman

Add to wish list

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

Details

  • Title Specification and Compositional Verification of Real-Time Systems
  • Author J. Hooman
  • Binding Paperback
  • Edition 1st
  • Pages 235
  • Volumes 1
  • Language ENG
  • Publisher Springer, Berlin
  • Publication date 1991-12
  • ISBN 9780387549477 / 0387549471
  • Category Computers - General Information
  • Library of Congress subjects Real-time data processing
  • Library of Congress Catalogue Number 91041783
  • Dewey Decimal Code 004.33

More Copies for Sale

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, J.

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9780387549477 / 0387549471
Quantity available
1
Seller
Item price
A$13.12
A$20.54 Delivery to USA

Show details

Description:
Berlin: Springer-Verlag, 1991. Lecture Notes in Computer Science 558; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.. Paperback. Very Good/No Dust Jacket. Ex-Library.
Add to wish list
Item price
A$13.12
A$20.54 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, J,

  • New
  • Paperback
  • first
Condition
New
Edition
1st
Binding
Paperback
ISBN 10 / ISBN 13
9780387549477 / 0387549471
Quantity available
1
Seller
Item price
A$65.57
A$29.14 Delivery to USA

Show details

Description:
Springer, 1991. 1st. Paperback. New/New.
Add to wish list
Item price
A$65.57
A$29.14 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)

by Hooman, J.

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9780387549477 / 0387549471
Quantity available
1
Seller
Item price
A$74.71
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$74.71
Free Delivery to USA