Skip to content
Toggle navigation
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Specification in B :
Description
Cite this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to MARCXML
Specification in B : an introduction using the B toolkit
Main Author:
LANO
Other Authors:
Haughton,
Format:
Book
Published:
London:
Imperial College Press,
1996.
Subjects:
B (Computer program language)
Holdings
Description
Preview
Similar Items
Staff View
Physical Description:
xi, 242p.; 24cm.
ISBN:
1860940188
Similar Items
The B-method : an introduction
by: SCHNEIDER
Published: (2001)
Software engineering with B
by: WORDSWORTH
Published: (1996)
The B-Book : assigning programs to meanings
by: Abrial
Published: (1996)
An introduction to formal specification and Z
by: POTTER
Published: (1996)
The Java virtual machine specification
Published: (2013)
×
Loading...