Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000027694
Navigace: https://aleph22.vkol.cz/pub / svk01 / 00002xxxx / 0000276xx / 000027694.htm
Chcete-li získat tento dokument, vstupte přímo do katalogu.
If you want to get more information about the document, enter the online catalog.
ISBN | 0-387-54188-8 |
ISBN | 3-540-54188-8 (brož) : bc |
MDT | 681.3.068:681.5.09 ATES |
MDT | 681.5.09 ATES:681.3.068 |
Názvové údaje | The Programming and Proof System ATES : Advanced Techn. Integration into Efficient Scientific Software / Ed. Armand Puccetti |
Nakladatel.údaje | Berlin : Springer, 1991 |
Údaje fyz.popisu | 8, 341 s |
Edice-jiná forma | Research Reports ESPRIT. Project 1158 |
Všeobecná pozn. | Bibliogr. na konci kapitol |
VZ-Osobní jm. | Puccetti, Armand |
VZ-Edice-Unif.náz. | Research Reports ESPRIT. Project 1158 |
Sigla,sign.vlastn. | OLA001 585.093 |
Předmět.hesla | ATES (systém kontrolní) programování |
Předmět.hesla | Programování systém kontrolní ATES |
Počet exemplářů | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.