Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

Book Informaton
Systems and Software Verification: Model-Checking Techniques and Tools

Author

B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen

Year of Publication

2001

Publisher

Springer Berlin Heidelberg

Pages

XII, 190

Language

EN

ISBN

9783540415237, 9783662045589, 3540415238

ARI Id

1664464551717

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 8 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Computer systems Verification Computer software Computer software verification