Modular specification and verification of object-oriented programs
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Springer,
2002
|
| Edice: | Lecture notes in computer science ;
v. 2262 |
| ISBN: | 3-540-43167-5 |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 00688nam a2200217 a 4500 | ||
|---|---|---|---|
| 001 | 000148901 | ||
| 003 | CZ PrSTK | ||
| 005 | 20020606172643.0 | ||
| 008 | 020225s2002 gw eng | ||
| 020 | |a 3-540-43167-5 | ||
| 040 | |a ABA013 |b cze | ||
| 080 | |a 004.045 |2 undef | ||
| 080 | |a 004.42 |2 undef | ||
| 100 | 1 | |a Müller, Peter |4 aut | |
| 245 | 1 | 0 | |a Modular specification and verification of object-oriented programs / |c Peter Müller |
| 260 | |a Berlin : |b Springer, |c c2002 | ||
| 300 | |a xiv, 292 s. | ||
| 490 | 0 | |a Lecture notes in computer science ; |v v. 2262 | |
| 650 | 0 | 7 | |a objektově orientované programování |x vt |7 psh12473 |2 psh |
| 650 | 0 | 7 | |a software |x vt |7 psh12463 |2 psh |
| 910 | |a ABA013 |b A 37675 | ||