Matematická teorie programů
Učebnice obsahuje teoretické i praktické ověřování správnosti a jiných vlastností programů pro počítače.
Saved in:
Bibliographic Details
- Main Author:
- Other Authors:
- Document Type:
- Books
- Physical Description:
- 467 stran : 95 obrázků
- Published:
-
Praha :
Státní nakladatelství technické literatury,
1981
- Edition:
- Vydání první
- Series:
- Knižnice výpočetní techniky
- Subjects:
- Item Description:
- 15899
- Audience:
- Určeno posluchačům informatiky na vysokých školách, programátorům, výzkumným pracovníkům i ostatním zájemcům o aplikace matematických metod ve výpočetní technice
- Bibliography:
- Obsahuje bibliografii a rejstřík
:
Holdings
Help
You have to be logged in for creating requests.
Availability | Status | Department | Collection | Location | Description | Call # | |
---|---|---|---|---|---|---|---|
|
Loading…
|
Jan Kmenta CERGE-EI Library
|
|
||||
|
Loading…
|
Institute of Mathematics of the CAS - Library
|
|
B15506 | |||
|
Loading…
|
J. Heyrovsky Institute of Physical Chemistry of the AS CR, p. r. i.
|
|
N 25531 | |||
|
Loading…
|
Institute of Physics of the Czech Academy of Sciences - Library
|
|
K 12704,K 12704 a | |||
|
Loading…
|
Library of the Institute of Macromolecular Chemistry CAS
|
|
24107,24073,24074,24075 | |||
|
Loading…
|
Institute of Photonics and Electronics of the AS CR, p. r. i. - Library
|
|
C.1933 | |||
|
Loading…
|
Institute of Theoretical and Applied Mechanics of the CAS, p. r. i. - Library
|
|
F3470 | |||
|
Loading…
|
Charles University - Faculty of Arts Library
|
|
||||
|
Loading…
|
Charles University - Faculty of Mathematics and Physics - Library - Mathematical Section
|
|
||||
|
Loading…
|
Charles University - Faculty of Mathematics and Physics - Library - Department of Physics
|
|
||||
|
Loading…
|
National Technical Muzeum - Library
|
|
B623 | |||
|
Loading…
|
Institute of Scientific Instruments of the CAS, v. v. i. - Library Brno
|
|
III-2149 | |||
|
Loading…
|
Masaryk University - Faculty of Science - Central Library Brno
|
|
||||
|
Loading…
|
Masaryk University - Faculty of Informatics - Library Brno
|
|
||||
|
Loading…
|
Municipal Library Decin Děčín
|
|
||||
|
Loading…
|
Municipal Library Rumburk
|
|
||||
|
Loading…
|
Institute of Botany, v.v.i. the Czech Academy of Science - Trebon - Library Třeboň
|
|
M-34 | |||
|
Loading…
|
Technical University of Liberec - University Library
|
|
A 29441 | |||
|
Loading…
|
Silesian University in Opava - University Library
|
|
||||
|
Loading…
|
VSB - Technical University of Ostrava - Central Library
|
|
168791 | |||
|
Loading…
|
Tomas Bata University in Zlín - Library
|
|