Get Free Shipping on orders over $79
Automatic Verification of Sequential Infinite-State Processes : Lecture Notes in Computer Science - Olaf Burkart

Automatic Verification of Sequential Infinite-State Processes

By: Olaf Burkart

Paperback

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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.

More in Computer Programming & Software Development

Python & AI For Dummies - John C.  Shovic

RRP $57.95

$44.75

23%
OFF
MacBook Neo For Dummies - Mark L. Chambers

RRP $41.95

$33.75

20%
OFF
Game Design Deep Dive : Cozy Games - Joshua Bycer
Game Design Deep Dive : Cozy Games - Joshua Bycer
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
Swift : The Practical Guide - Kerem Koseoglu
Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley
The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Computer Coding Python Games for Kids : DK Help Your Kids With - Carol Vorderman
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Fundamentals of Python : 3rd Edition - First Programs - Kenneth Lambert