HOME > Detail View

Detail View

The B-book : assigning programs to meanings

The B-book : assigning programs to meanings (Loan 2 times)

Material type
단행본
Personal Author
Abrial, Jean-Raymond.
Title Statement
The B-book : assigning programs to meanings / J.-R. Abrial.
Publication, Distribution, etc
Cambridge :   Cambridge University Press ,   2005.  
Physical Medium
xxxiv, 779 p. ; 25 cm.
ISBN
0521021758 (pbk.) 9780521021753
General Note
Includes index.  
Subject Added Entry-Topical Term
B method (Computer science)
000 00773camuu2200253 a 4500
001 000045434583
005 20080416150354
008 060515s2005 enk 001 0 eng
010 ▼a 2006275990
020 ▼a 0521021758 (pbk.)
020 ▼a 9780521021753
035 ▼a (KERIS)REF000012634510
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
050 0 0 ▼a QA76.9.B22 ▼b A27 2005
082 0 0 ▼a 005.1 ▼2 22
090 ▼a 005.1 ▼b A163b
100 1 ▼a Abrial, Jean-Raymond.
245 1 4 ▼a The B-book : ▼b assigning programs to meanings / ▼c J.-R. Abrial.
260 ▼a Cambridge : ▼b Cambridge University Press , ▼c 2005.
300 ▼a xxxiv, 779 p. ; ▼c 25 cm.
500 ▼a Includes index.
650 0 ▼a B method (Computer science)
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.1 A163b Accession No. 121168354 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

Tribute; Foreword; Introduction; Part I. Mathematics: 1. Mathematical reasoning; 2. Set notation; 3. Mathematical objects; Part II. Abstract Machines: 4. Introduction to abstract machines; 5. Formal definition of abstract machines; 6. Theory of abstract machines; 7. Constructing large abstract machines; 8. Examples of abstract machines; Part III. Programming: 9. Sequencing and loop; 10. Programming examples; Part IV. Refinement: 11. Refinement; 12. Constructing large software systems; 13. Examples of refinement; Appendixes; Index.


Information Provided By: : Aladin

New Arrivals Books in Related Fields