0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Buy Now

The Temporal Logic of Reactive and Concurrent Systems - Specification (Paperback, Softcover reprint of the original 1st ed. 1992) Loot Price: R1,565
Discovery Miles 15 650
The Temporal Logic of Reactive and Concurrent Systems - Specification (Paperback, Softcover reprint of the original 1st ed....

The Temporal Logic of Reactive and Concurrent Systems - Specification (Paperback, Softcover reprint of the original 1st ed. 1992)

Zohar Manna, Amir Pnueli

 (sign in to rate)
Loot Price R1,565 Discovery Miles 15 650 | Repayment Terms: R147 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Release date: March 2013
First published: 1992
Authors: Zohar Manna • Amir Pnueli
Dimensions: 235 x 155 x 22mm (L x W x T)
Format: Paperback
Pages: 427
Edition: Softcover reprint of the original 1st ed. 1992
ISBN-13: 978-1-4612-6950-2
Categories: Books > Computing & IT > Computer programming > General
Books > Computing & IT > Internet > Network computers
Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
Promotions
LSN: 1-4612-6950-4
Barcode: 9781461269502

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Applied Affective Computing
Leimin Tian, Sharon Oviatt, … Hardcover R2,630 Discovery Miles 26 300
Pattern-Based Constraint Satisfaction…
Denis Berthier Hardcover R2,067 Discovery Miles 20 670
The Future You - How Artificial…
Harry Glorikian Hardcover R820 Discovery Miles 8 200
Intelligent Environments - Advanced…
P. Droege Paperback R4,606 Discovery Miles 46 060
Exploring Future Opportunities of…
Madhulika Bhatia, Tanupriya Choudhury, … Hardcover R7,249 Discovery Miles 72 490
The Future of Technology in Education…
Harib Shaqsy Hardcover R906 R783 Discovery Miles 7 830
Recent Trends in Computational…
Siddhartha Bhattacharyya, Paramartha Dutta, … Paperback R3,700 Discovery Miles 37 000
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R14,050 Discovery Miles 140 500
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R14,040 Discovery Miles 140 400
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R14,034 Discovery Miles 140 340
Deep Learning Applications for…
Monica R. Mundada, Seema S., … Hardcover R7,211 Discovery Miles 72 110
Foundation Models for Natural Language…
Gerhard Paaß, Sven Giesselbach Hardcover R935 Discovery Miles 9 350

See more

Partners