Concise guide to formal methods : theory, fundamentals and industry applications / Gerard O'Regan.
2017
QA76.9.F67
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Concise guide to formal methods : theory, fundamentals and industry applications / Gerard O'Regan.
ISBN
9783319640211 (electronic book)
3319640216 (electronic book)
9783319640204
3319640208
3319640216 (electronic book)
9783319640204
3319640208
Published
Cham, Switzerland : Springer, 2017.
Language
English
Description
1 online resource (xix, 312 pages) : illustrations.
Item Number
10.1007/978-3-319-64021-1 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed August 21, 2017).
Series
Undergraduate topics in computer science, 1863-7310
Available in Other Form
Print version: 3319640208
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources