Podnázev |
|
| Rok vydání: |
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: |
|
Probíhá načítání, čekejte prosím...