The B language and method : a guide to practical formal development / K. Lano.
1996
QA76.73.B155 L36 1996
Linked e-resources
Linked Resource
Online Access
Details
Title
The B language and method : a guide to practical formal development / K. Lano.
Author
Lano, K., 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
B language and method : a guide to practical formal development.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources