Nonfiction | Computer & Technology
Automatic Verification of Sequential Infinite-State Processes
by O. Burkart 2020-07-07 16:00:41
image1
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
  • Print pages
  • Publisher
  • Publication date
  • Language
  • ISBN
  • 163
  • Springer
  • February 27, 1998
  • English
  • 9783540696780
autor-image
O. Burkart
Author
...
Compare Prices
image
Buy USD 9.77
image
Buy AUD 129.0
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

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

Stay in touch.

© 2024 AMPLE READS