Formal methods applied to complex systems [electronic resource] : implementation of the B method / edited by Jean-Louis Boulanger.
2014
QA76.9.B22 .F676 2014eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Formal methods applied to complex systems [electronic resource] : implementation of the B method / edited by Jean-Louis Boulanger.
ISBN
9781848217096
9781119002680 electronic book
9781119002680 electronic book
Published
London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014.
Copyright
©2014
Language
English
Description
1 online resource (512 pages) : illustrations, tables.
Call Number
QA76.9.B22 .F676 2014eb
Dewey Decimal Classification
005.1
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Series
Computer engineering series.
Available in Other Form
Print version: Formal methods applied to complex systems : implementation of the B method. London, England ; Hoboken, New Jersey : iSTE ; Wiley, c2014 9781848217096
Linked Resources
Record Appears in