Podnázev : |
|
Rok * : |
2004
|
Obor * : |
Aplikovaná statistika, operační výzkum
|
Forma vydání * : |
|
Kód ISBN * : |
0302-9743
|
Název knihy v originálním jazyce * : |
From Object-Orientation to Formal Methods
|
Název edice a číslo svazku * : |
1
|
Místo vydání * : |
Berlin
|
Název nakladatele * : |
Springer
|
Označení vydání (číslo vydání) : |
1
|
Vydáno : |
|
Autor zdrojového dokumentu : |
|
Počet stran * : |
18
|
Počet stran knihy * : |
|
Strana od * : |
165
|
Strana do * : |
182
|
Počet výtisků knihy * : |
|
EID : |
|