New Added

Automatic verification of sequential infinite-state processes [electronic resource]

Like Score+155

Automatic verification of sequential infinite-state processes [electronic resource]
Original Title Automatic verification of sequential infinite-state processes [electronic resource]
Author Burkart, Olaf, SpringerLink (Online service)
Publication date

Topics Computer software, Software engineering
Publisher Berlin , New York : Springer
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date
Automatic Verification of Sequential Infinite-State ProcessesAuthor: Olaf Burkart Published by Springer Berlin Heidelberg ISBN: 978-3-540-63982-4 DOI: 10.1007/3-540-69678-4Table of Contents:Introduction
Background
Pushdown Processes
Model Checking
Equivalence Checking
Summary and PerspectivesIncludes bibliographical references (p. [155]-159) and index
We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0