HOME > Detail View

Detail View

Specification in B : an introduction using the B toolkit

Specification in B : an introduction using the B toolkit (Loan 1 times)

Material type
단행본
Personal Author
Lano, K. Haughton, H.
Title Statement
Specification in B : an introduction using the B toolkit / Kevin Lano, Howard Haughton.
Publication, Distribution, etc
London :   Imperial College Press ;   Singapore ;   River Edge, NJ :   Distributed by World Scientific Pub. ,   c1996.  
Physical Medium
xi, 242 p. : ill. ; 23 cm.
ISBN
1860940080 9781860940088 1860940188 (pbk)
Bibliography, Etc. Note
Includes bibliographical references (p. 183-186) and index.
Subject Added Entry-Topical Term
B (Computer program language)
000 01007namuu2200289 a 4500
001 000045428352
005 20080320173552
008 960927s1996 enka b 001 0 eng d
010 ▼a 96215429
020 ▼a 1860940080
020 ▼a 9781860940088
020 ▼a 1860940188 (pbk)
035 ▼a (KERIS)REF000014286274
040 ▼a GU ▼c GU ▼d DLC ▼d 211009
042 ▼a lccopycat
050 0 0 ▼a QA76.73.B155 ▼b L364 1996
082 0 0 ▼a 005.1/01/5113 ▼2 22
090 ▼a 005.1015113 ▼b L293s
100 1 ▼a Lano, K.
245 1 0 ▼a Specification in B : ▼b an introduction using the B toolkit / ▼c Kevin Lano, Howard Haughton.
260 ▼a London : ▼b Imperial College Press ; ▼a Singapore ; ▼a River Edge, NJ : ▼b Distributed by World Scientific Pub. , ▼c c1996.
300 ▼a xi, 242 p. : ▼b ill. ; ▼c 23 cm.
504 ▼a Includes bibliographical references (p. 183-186) and index.
650 0 ▼a B (Computer program language)
700 1 ▼a Haughton, H.
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.1015113 L293s Accession No. 121167272 Availability Available Due Date Make a Reservation Service B M

New Arrivals Books in Related Fields

Anson, Steve (2022)
한국. 행정안전부 (2022)
한국. 행정안전부 (2022)
황기태 (2021)