Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000027694

Navigace: http://aleph22.vkol.cz/pub / svk01 / 00002xxxx / 0000276xx / 000027694.htm

Chcete-li získat tento dokument, vstupte přímo do katalogu. Získat dokument z katalogu.
If you want to get more information about the document, enter the online catalog. Get the item from catalog.

ISBN0-387-54188-8
ISBN3-540-54188-8 (brož) : bc
MDT681.3.068:681.5.09 ATES
MDT681.5.09 ATES:681.3.068
Názvové údajeThe Programming and Proof System ATES : Advanced Techn. Integration into Efficient Scientific Software / Ed. Armand Puccetti
Nakladatel.údajeBerlin : Springer, 1991
Údaje fyz.popisu8, 341 s
Edice-jiná formaResearch 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.heslaATES (systém kontrolní) programování
Předmět.heslaProgramování systém kontrolní ATES
Počet exemplářů1