Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Automatic Verification of Sequential Infinite-State Processes

Automatic Verification of Sequential Infinite-State Processes

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540696780
Condition
New
Product Description

A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that central aspects of software design and program development have a strong formal character which admits tool support for the construction of reliable and correct computer systems based on formal reasoning. This monograph provides much information both for theoreticians interested in algebraic theories, and for software engineers building practically relevant tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

365 Bedtime Stories and Rhymes by Cottage Door Press Editor

$16.99

Hardware-Software Co-Synthesis of Distributed Embedded Systems

$109.99

Die Festigkeitseigenschaften des Magnesiums

$49.99

Children of Blood and Bone (Hardcover)

$16.49

Syntactic Wordclass Tagging

$169.99

Analysis of Infectious Disease Problems (Covid-19) and Their Global Impact

$159.99

The Great Power Competition Volume 5

$109.00

The Judgement of the Eye

$49.99

Challenges in Health and Development

$99.99

The Asian Insider

$54.99

Proceedings of the 14th International Conference on Man-Machine-Environment System Engineering

$129.00

Lectures on LHC Physics

$44.99

Uncertain Models and Robust Control

$39.99

Guide to Targeted Therapies: EGFR mutations in NSCLC

$49.99

Revisiting Gender Inequality

$39.99

Sachenrecht

$59.99

Astrophysics V: Miscellaneous / Astrophysik V: Verschiedenes

$39.99

Exportgut Kultur

$59.99

Das politische System der Bundesrepublik Deutschland

$59.99

Mineral Processing Design

$39.99

Ruraling Education Research

$129.99

Leistungsfhigkeit von Unternehmensbewertungsmodellen

$69.95

Progenitor Cells

$109.99

Organizational Models for Industry 4.0

$109.99

The Olympic Games and the Environment

$39.99

Designing a New Class of Distributed Systems

$39.99

Japan's Nuclear Crisis

$54.99

Blast Back!: The Space Race

$4.46

Hard Atheism and the Ethics of Desire

$79.99

Interkulturelle Rume im Spielfilm

$74.99

Beginning jQuery

$24.99

Investition

$54.99

Pneumonologie Pneumonology

$59.99

Emergence of Cyber Physical System and IoT in Smart Automation and Robotics

$249.99

Intrusion Detection

$169.99

Using Windows 8.1

$19.99

Membrane Biochemistry

$109.99

Innovation of Businesses, and Digitalization during Covid-19 Pandemic

$329.99

Sustainable Development Approaches

$149.00

Atlas of Bone Pathology

$219.99