Tools

LEADER 01053cam 2200313Ia 4500

001 ocm35867370;

003 OCoLC;

005 20141212123028.0;

008 961108s1996 enk 001 0 eng d;

020 a| 0521496195;

035 a| (Sirsi) o35867370;

035 a| (OCoLC)35867370;

040 a| JNAc| JNAd| EREd| UtOrBLW;

049 a| EREE;

090 a| QA76.73.B2b| A267 1996;

100 1 a| Abrial, Jean-Raymond.=| ^A383638;

245 14 a| The B-book :b| assigning programs to meanings /c| J.-R. Abrial.;

246 3 a| B book;

260 a| Cambridge ;a| New York :b| Cambridge University Press,c| 1996.;

300 a| xxxiv, 779 pages ;c| 26 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

500 a| Includes index.;

650 0 a| B (Computer program language)=| ^A383639;

650 0 a| Computer programming.=| ^A33242;

596 a| 1;

998 a| 607989;

999 a| QA76.73.B2 A267 1996w| LCc| 1i| 30372009846780d| 2/14/2013e| 3/31/1997f| 2/14/2013g| 1l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 1/31/1997x| BOOKz| JSTACKSo| .STAFF. 0;

The B-book : assigning programs to meanings / J.-R. Abrial.

Author/creator	Abrial, Jean-Raymond
Format	Book
Publication Info	Cambridge ; New York : Cambridge University Press, 1996.
Description	xxxiv, 779 pages ; 26 cm
Subjects	B (Computer program language) Computer programming.

Variant title	B book
General note	Includes index.
ISBN	0521496195

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.73.B2 A267 1996	✔ Available	Place Hold

The B-book : assigning programs to meanings / J.-R. Abrial.

Click here for more information about this title

Availability