Skip to content
Toggle navigation
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
The B-Book :
Preview
Cite this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to MARCXML
The B-Book : assigning programs to meanings
Main Author:
Abrial
Format:
Book
Published:
New York:
Cambridge University Press,
1996.
Subjects:
(Computer program language)
Holdings
Description
Preview
Similar Items
Staff View
Similar Items
Specification in B : an introduction using the B toolkit
by: LANO
Published: (1996)
The B-method : an introduction
by: SCHNEIDER
Published: (2001)
Software engineering with B
by: WORDSWORTH
Published: (1996)
A Book on C : programming in C
by: KELLEY
Published: (1998)
A first book of C++ : from here to there
by: BRONSON
Published: (1999)
×
Loading...