The B language and method : a guide to practical formal development / K. Lano.
1996
QA76.73.B155 L36 1996
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
The B language and method : a guide to practical formal development / K. Lano.
Author
ISBN
3540760334 (Berlin : pbk. : alk. paper)
9783540760337
9781447114949 (e-book)
9783540760337
9781447114949 (e-book)
Published
London ; New York : Springer, [1996]
Copyright
©1996
Language
English
Description
1 online resource (239 pages) : illustrations.
Call Number
QA76.73.B155 L36 1996
Dewey Decimal Classification
005.1/2/015113
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Series
Formal approaches to computing and information technology.
Available in Other Form
Linked Resources
Record Appears in