Recent advances in the development and use of the B method: B'98 : Second International B Conference, Montpellier, France, April 22-24, 1998. Proceedings
Uloženo v:
| Další autoři: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Springer,
1998
|
| Edice: | Lecture notes in computer science ;
1393 |
| ISSN: | 0302-9743 |
| ISBN: | 3-540-64405-9 |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 01122nam a2200313 a 4500 | ||
|---|---|---|---|
| 001 | 000019965 | ||
| 003 | CZ PrSTK | ||
| 005 | 20080108094949.0 | ||
| 008 | 980527s1998 gw ||| | eng | ||
| 020 | |a 3-540-64405-9 | ||
| 022 | |a 0302-9743 | ||
| 040 | |a ABA013 |b cze | ||
| 050 | 0 | |a QA76.9.B22 |b B 1998 | |
| 080 | |a 681.3.06(063) |2 undef | ||
| 080 | |a 519.686(063) |2 undef | ||
| 245 | 0 | 0 | |a Recent advances in the development and use of the B method: B'98 : |b Second International B Conference, Montpellier, France, April 22-24, 1998. Proceedings / |c Edited by Didier Bert |
| 260 | |a Berlin : |b Springer, |c 1998 | ||
| 300 | |a viii, 311 s. | ||
| 490 | 0 | |a Lecture notes in computer science ; |v 1393 | |
| 500 | |a Konference, Montpellier, 1998 | ||
| 650 | 0 | 7 | |a obsluha |x ob |7 psh8033 |2 psh |
| 650 | 0 | 7 | |a programy |x ve |7 psh11944 |2 psh |
| 650 | 0 | 7 | |a software |x vt |7 psh12463 |2 psh |
| 700 | 1 | |a Bert, Didier |4 edt | |
| 910 | |a ABA013 |b A 35027 | ||
| 964 | |a Programy obslužné | ||
| 964 | |a Programy - ladění | ||
| 964 | |a Software | ||
| 996 | |a STK |b 2660166099 |c 1473/98 |d 19980527 |f 1440.20 |g A 35027 |v QA76 .9 .B22 B 1998 |l 6.NP, regál 6D/079 |t 03 | ||