Algopix Logo
Low Inventory

Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science (676))

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

Attributes

Part Number
black & white illustrations
Release Date
Oct 26, 2012
Authors
Juan, Eric Y.T., Tsai, Jeffrey J.P.
Edition
Softcover reprint of the original 1st ed. 2002
Genre
Software Engineering
Label
Springer
Content Languages
[object Object], [object Object], [object Object]
Number Of Items
1
Number Of Pages
215
Publication Date
2012-10-26
Publisher
Springer
Studio
Springer
Lang
en-US
Adult Product
No

Product Identifiers

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

Similar Items

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

The Hundred-Page Machine Learning Book

Algopix Similar Product 2 - RealTime Systems Design Principles

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

Algopix Similar Product 3 - Future You Essential Future

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

Algopix Similar Product 4 - 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 5 - Genetic Algorithms in Java Basics

Genetic Algorithms in Java Basics

Algopix Similar Product 6 - Swarm Intelligence The Morgan Kaufmann

Swarm Intelligence (The Morgan Kaufmann Series in Evolutionary Computation)

Algopix Similar Product 7 - 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 8 - 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 9 - Machine Learning with Spark and Python

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

Algopix Similar Product 10 - Decode and Conquer Answers to Product

Decode and Conquer: Answers to Product Management Interviews

Algopix Similar Product 11 - Enhanced Building Information Models

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

Algopix Similar Product 12 - The Myths of Security What the

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

Algopix Similar Product 13 - The Future of the Professions How

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

Algopix Similar Product 14 - 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 15 - 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 16 - Artificial Intelligence and Intelligent

Artificial Intelligence and Intelligent Systems

Algopix Similar Product 17 - 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 18 - 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 19 - Blockchain Basics A NonTechnical

Blockchain Basics: A Non-Technical Introduction in 25 Steps

Algopix Similar Product 20 - 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))

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.