Program development by refinement : case studies using the B method
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London :
Springer,
c1999.
|
| Series: | Formal approaches to computing and information technology
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/15872 | ||
| 008 | 010122s1999 enk| ||| |||| ||eng|| | ||
| 020 | |a 1852330538 | ||
| 035 | |l 10065573 | ||
| 040 | |a GR-MyUa |b gre |e AACR2 | ||
| 041 | 0 | |a eng | |
| 082 | 7 | |a 005.133 |2 (21) | |
| 245 | 0 | 0 | |a Program development by refinement : |b case studies using the B method / |c E. Sekerinski and K. Sere (Eds.). |
| 260 | |a London : |b Springer, |c c1999. | ||
| 300 | |a xxiv, 334 σ. ; |c 24 εκ. | ||
| 490 | 1 | |a (Formal approaches to computing and information technology) | |
| 504 | |a Βιβλιογραφία: σ. [323]-326. | ||
| 650 | 0 | |a B (Computer program language) | |
| 700 | 1 | |a Sekerinski, E. |q (Emil), |d 1963- |e edt | |
| 700 | 1 | |a Sere, K. |q (Kaisa), |d 1954- |e edtf | |
| 830 | 0 | |a Formal approaches to computing and information technology | |
| 852 | |a INST |b SYROS |e 20010122 |h 005.133 PRO |p 005500001607 |q 005500001607 |t BK |y 620 | ||
| 901 | |a BIBL5-2001-1 | ||
| 922 | |a 5ΕΛΗ |b 200012 |c Γραφικών Τεχνών |d Μιχαλόπουλος | ||
| 950 | |a 183-2000-12-08 | ||
| 970 | |a Κοντού |b Παρασκευή |z 19/02/2001 | ||