Nonfiction | Computer & Technology

Automatic Verification of Sequential Infinite-State Processes

by O. Burkart

2020-07-07 19:30:41

Compare Price
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... Read more
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. Less

Book Details

Print pages163
PublisherSpringer
Publication date February 27, 1998
LanguageEnglish
ISBN9783540696780
autor-image
O. Burkart
Author
...

Compare Prices

Store Availability Book Format Condition Price
BetterWorld.com - New, Used, Rare Books & Textbooks In Stock Buy USD 9.77
eBooks.com In Stock Buy AUD 129.0
BetterWorld.com - New, Used, Rare Books & TextbooksIn Stock
Format
Condition
Buy USD 9.77
eBooks.comIn Stock
Format
Condition
Buy AUD 129.0
Available Discount
No Discount available

Related Books

View All
Moodle Gradebook
☆ ☆ ☆ ☆ ☆
Complex Analysis with MATHEMATICA®
☆ ☆ ☆ ☆ ☆
LPIC-1
☆ ☆ ☆ ☆ ☆
Abstract Methods in Information Theory
☆ ☆ ☆ ☆ ☆
The Digital Filmmaking Handbook
☆ ☆ ☆ ☆ ☆
The Seismic Analysis Code
☆ ☆ ☆ ☆ ☆
Windows Server 2012 R2 Pocket Consultant Volume 2
☆ ☆ ☆ ☆ ☆
Network Programmability and Automation
☆ ☆ ☆ ☆ ☆
Windows 10 Bible
☆ ☆ ☆ ☆ ☆
Make
☆ ☆ ☆ ☆ ☆
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments
☆ ☆ ☆ ☆ ☆
CompTIA Network+ Study Guide
☆ ☆ ☆ ☆ ☆
Type Theory and Formal Proof
☆ ☆ ☆ ☆ ☆
Privacy and Legal Issues in Cloud Computing
☆ ☆ ☆ ☆ ☆
CISM Certified Information Security Manager All-in-One Exam Guide
☆ ☆ ☆ ☆ ☆
Python Programming for Arduino
☆ ☆ ☆ ☆ ☆
(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide
☆ ☆ ☆ ☆ ☆
Practical Monitoring
☆ ☆ ☆ ☆ ☆
Microsoft SharePoint 2013 Step by Step
☆ ☆ ☆ ☆ ☆
Rapid Prototyping Software for Avionics Systems
☆ ☆ ☆ ☆ ☆
Expanding and Networking Microcomputers
☆ ☆ ☆ ☆ ☆
Topics at the Frontier of Statistics and Network Analysis
☆ ☆ ☆ ☆ ☆
Drones For Dummies
☆ ☆ ☆ ☆ ☆
Troubleshooting Cisco Nexus Switches and NX-OS
☆ ☆ ☆ ☆ ☆
MCSA SQL 2016 BI Development Exam Ref 2-pack
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS