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

Specification and Compositional Verification of Real-Time Systems

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

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

by Jozef Hooman

Add to wish list
  • New
  • Paperback
New

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.
Ask the seller a question Add to wish list
A$112.11
A$19.20 Delivery to USA
Standard delivery: 14 to 21 days
More delivery options
Ships from The Saint Bookstore (Merseyside, United Kingdom)
Biblio Top Seller
The BIBLIO Guarantee

Details

  • Title Specification and Compositional Verification of Real-Time Systems
  • Author Jozef Hooman
  • Binding Paperback
  • Edition First Edition
  • Condition New
  • Pages 242
  • Volumes 1
  • Language ENG
  • Publisher Springer, Heidelberg
  • Publication date 1991-11-27
  • Features Bibliography
  • Bookseller's Inventory # B9783540549475
  • 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
  • Quantity available 10

About The Saint Bookstore Merseyside, United Kingdom

Specialising in: Academic & Scholarly, Hard To Find Titles, Textbooks
Biblio member since 2018

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Terms of Sale: Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

Browse books from The Saint Bookstore

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

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

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.

Please wait a moment while we load the requested page.

tracking-