Algopix Logo
Low Inventory

The Temporal Logic of Reactive and Concurrent Systems: Specification

See customer reviews
Best offer in the last 28 days!Golden Dollar
Marketplace
Price
Low Inventory

Attributes

Authors
Manna, Zohar, Pnueli, Amir
Edition
1992
Formats
Illustrated
Genre
Expert systems
Label
Springer
Content Languages
[object Object], [object Object], [object Object]
Number Of Items
1
Number Of Pages
441
Publication Date
1991-12-18
Publisher
Springer
Studio
Springer
Lang
en-US

Product Identifiers

AIDAlgopix unique identifier
AIDOG8F16001
Copied!
ASIN
Upgrade Account
EAN
Upgrade Account
UPC
Upgrade Account

Similar Items

Algopix Similar Product 1 - Decoding the Universe How the New

Decoding the Universe: How the New Science of Information Is Explaining Everything in the Cosmos, from Our Brains to Black Holes

Algopix Similar Product 2 - Decode and Conquer Answers to Product

Decode and Conquer: Answers to Product Management Interviews

Algopix Similar Product 3 - Internet of Things Information

Internet of Things. Information Processing in an Increasingly Connected World: First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at ... and Communication Technology (548))

Algopix Similar Product 4 - The Future of the Professions How

The Future of the Professions: How Technology Will Transform the Work of Human Experts

Algopix Similar Product 5 - Algebraic Methodology and Software

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science (6486))

Algopix Similar Product 6 - OCAOCP Oracle Database 12c AllinOne

OCA/OCP Oracle Database 12c All-in-One Exam Guide (Exams 1Z0-061, 1Z0-062, & 1Z0-063)

Algopix Similar Product 7 - Python for Beginners Master Data

Python for Beginners: Master Data Science, Artificial Intelligence and Machine Learning with this Smart Python Programming Language Guide (Learn Python ... data analysis and machine learning)

Algopix Similar Product 8 - Artificial Intelligence and Intelligent

Artificial Intelligence and Intelligent Systems

Algopix Similar Product 9 - Interactive Storytelling First Joint

Interactive Storytelling: First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008, ... (Lecture Notes in Computer Science (5334))

Algopix Similar Product 10 - Future You Essential Future

Future You: Essential Future Technologies You Need To Know To Survive The Digital Era

Algopix Similar Product 11 - CyberParks The Interface Between

CyberParks – The Interface Between People, Places and Technology: New Approaches and Perspectives (Lecture Notes in Computer Science (11380))

Algopix Similar Product 12 - Genetic Algorithms in Java Basics

Genetic Algorithms in Java Basics

Algopix Similar Product 13 - Information Technology in Disaster Risk

Information Technology in Disaster Risk Reduction: 4th IFIP TC 5 DCITDRR International Conference, ITDRR 2019, Kyiv, Ukraine, October 9–10, 2019, ... and Communication Technology (575))

Algopix Similar Product 14 - Blockchain Basics A NonTechnical

Blockchain Basics: A Non-Technical Introduction in 25 Steps

Algopix Similar Product 15 - RealTime Systems Design Principles

Real-Time Systems: Design Principles for Distributed Embedded Applications (Real-Time Systems Series)

Algopix Similar Product 16 - Machine Learning with Spark and Python

Machine Learning with Spark and Python: Essential Techniques for Predictive Analytics

Algopix Similar Product 17 - The Myths of Security What the

The Myths of Security: What the Computer Security Industry Doesn't Want You to Know

Algopix Similar Product 18 - The Hundred-Page Machine Learning Book

The Hundred-Page Machine Learning Book

Algopix Similar Product 19 - Swarm Intelligence The Morgan Kaufmann

Swarm Intelligence (The Morgan Kaufmann Series in Evolutionary Computation)

Algopix Similar Product 20 - Enhanced Building Information Models

Enhanced Building Information Models: Using IoT Services and Integration Patterns (SpringerBriefs in Computer Science)

As an affiliate partner with eBay, Amazon, and Walmart, we earn from qualifying purchases. This means that we may receive a commission when you purchase products through links on our site. This does not affect the price you pay and helps us continue to provide valuable content. We appreciate your support.