Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems and control systems. These are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems, and this volume (the first of two), offers an introduction to temporal logic and to the computational model for reactive programs which has been developed by the authors.
Read More
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems and control systems. These are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems, and this volume (the first of two), offers an introduction to temporal logic and to the computational model for reactive programs which has been developed by the authors.
Read Less
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Edition:
2012, Springer
Trade paperback,
New
Available Copies: 10+
Details:
ISBN:
1461269504
ISBN-13:
9781461269502
Pages:
427
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
11630782216
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 427 p.
Hide Details ▴
Edition:
2012, Springer
Trade paperback,
New
Available Copies: 5
Details:
ISBN:
1461269504
ISBN-13:
9781461269502
Pages:
427
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
17980174106
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 427 p.
Hide Details ▴
Edition:
2012, Springer
Trade paperback,
New
Available Copies: 3
Details:
ISBN:
1461269504
ISBN-13:
9781461269502
Pages:
427
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
17986925647
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 427 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Hide Details ▴
Edition:
2012, Springer
Trade paperback,
Good
Available Copies: 2
Details:
ISBN:
1461269504
ISBN-13:
9781461269502
Pages:
427
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
17244991665
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
Edition:
2012, Springer
Trade paperback,
New
Details:
ISBN:
1461269504
ISBN-13:
9781461269502
Pages:
427
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
17358843932
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New.
Hide Details ▴
Edition:
1991, Springer
Hardcover,
Fair
Details:
ISBN:
0387976647
ISBN-13:
9780387976648
Pages:
427
Edition:
1992 edition
Publisher:
Springer
Published:
1991
Language:
English
Alibris ID:
18023668546
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. Prev. owner's markings at the front, none in the text. Binding is split at the front but holding. No dust jacket, as issued.
Hide Details ▴
Edition:
1991, Springer
Hardcover,
Good
Available Copies: 2
Details:
ISBN:
0387976647
ISBN-13:
9780387976648
Pages:
427
Edition:
1992 edition
Publisher:
Springer
Published:
1991
Language:
English
Alibris ID:
17908390630
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
Edition:
1991, Springer
Hardcover,
New
Details:
ISBN:
0387976647
ISBN-13:
9780387976648
Pages:
427
Edition:
1992 edition
Publisher:
Springer
Published:
1991
Language:
English
Alibris ID:
17945116787
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Brand New. New Book Original US edition, We Ship to PO BOX Address also.
Hide Details ▴
Edition:
1991, Springer
Hardcover,
New
Details:
ISBN:
0387976647
ISBN-13:
9780387976648
Pages:
427
Edition:
1992 edition
Publisher:
Springer
Published:
1991
Language:
English
Alibris ID:
18014248204
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New, US edition. Satisfaction guaranteed! !
Hide Details ▴
Edition:
1991, Springer
Hardcover,
New
Available Copies: 10+
Details:
ISBN:
0387976647
ISBN-13:
9780387976648
Pages:
427
Edition:
1992 edition
Publisher:
Springer
Published:
1991
Language:
English
Alibris ID:
10103956434
Shipping Options:
Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. Cloth over boards. 427 p. Contains: Unspecified.
Hide Details ▴
2012,
Springer, New York, NY
ISBN-13: 9781461269502
Trade paperback
1991,
Springer, New York, NY
ISBN-13: 9780387976648
1992 edition
Hardcover
All Editions of The Temporal Logic of Reactive and Concurrent Systems: Specification