search for books and compare prices
By
F. Kroger
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Hardcover
Bibliographic Detail
Publisher
Gardners Books
Publication date
December 31, 1987
Pages
148
Binding
Hardcover
Book category
Adult Non-Fiction
ISBN-13
9783540170303
ISBN-10
3540170308
Published in
Europe
Original list price
$111.15
Summaries and Reviews
Amazon.com description: Product Description: Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.
Editions
Hardcover
The price comparison is for this edition
from Gardners Books (December 31, 1987)
9783540170303 | details & prices | 148 pages | List price $111.15
About: Introduction to the temporal logic of - in particular paral- lel - programs.
About: Introduction to the temporal logic of - in particular paral- lel - programs.
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.