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

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

New Added
Automatic verification of sequential infinite-state processes [electronic resource]
Likes+254
Telegram icon Share on Telegram

Automatic verification of sequential infinite state processes [electronic resource]

User Rating: Be the first one!

Author: Burkart, Olaf, SpringerLink (Online service)

Added by: sketch

Added Date: 2015-12-30

Language: eng

Subjects: Computer software, Software engineering

Publishers: Berlin ; New York : Springer

Collections: folkscanomy miscellaneous, folkscanomy, additional collections

ISBN Number: 3540639829, 9783540639824

Pages Count: 300

PPI Count: 300

PDF Count: 1

Total Size: 71.29 MB

PDF Size: 2.58 MB

Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc

Archive Url

Downloads: 203

Views: 253

Total Files: 18

Media Type: texts

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

April 11, 2022

Download PDF

2.58 MB 1PDF Files

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

April 11, 2022

Download Zip

71.29 MB 18Files

Total Files: 5

PDF
Automatic verification of sequential infinite-state processes [electronic resource]
10 1007 3 540 69678 4 pdf

Last Modified: 2015-12-30 10:29:44

Download

Size: 2.58 MB

GZ
Automatic verification of sequential infinite-state processes [electronic resource]
10 1007 3 540 69678 4 abbyy gz

Last Modified: 2015-12-30 11:41:22

Download

Size: 4.42 MB

TXT
Automatic verification of sequential infinite-state processes [electronic resource]
10 1007 3 540 69678 4 djvu txt

Last Modified: 2016-01-09 17:08:32

Download

Size: 324.10 KB

ZIP
Automatic verification of sequential infinite-state processes [electronic resource]
10 1007 3 540 69678 4 jp2 zip

Last Modified: 2015-12-30 10:31:27

Download

Size: 58.62 MB

TORRENT
Automatic verification of sequential infinite-state processes [electronic resource]
springer 10 1007 3 540 69678 4 archive t...torrent

Last Modified: 2022-03-09 08:52:05

Download

Size: 6.89 KB

Description

Automatic Verification of Sequential Infinite-State Processes
Author: Olaf Burkart
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-63982-4
DOI: 10.1007/3-540-69678-4

Table of Contents:

  • Introduction
  • Background
  • Pushdown Processes
  • Model Checking
  • Equivalence Checking
  • Summary and Perspectives

Includes bibliographical references (p. [155]-159) and index

You May Also Like

We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account