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

Navigace: http://aleph22.vkol.cz/pub / svk01 / 00002xxxx / 0000275xx / 000027538.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.

obálka/obal
ISBN0-387-52589-0
ISBN3-540-52589-0 (brož) : bc
MDT681.3.06
HZ-Osobní jménoPartsch, Helmut A
Názvové údajeSpecification and Transformation of Programs : A Formal Approach to Software Development
Nakladatel.údajeBerlin : Springer, 1990
Údaje fyz.popisu13, 493 s
Edice-jiná formaTexts and Monographs in Computer Science
Všeobecná pozn.Bibliogr. s. 456-474
VZ-Edice-Unif.náz. Texts and Monographs in Computer Science
Sigla,sign.vlastn.OLA001 584.931
Předmět.heslaProgramy specifikace
Předmět.heslaProgramy transformace
Předmět.heslaSoftware vývoj
Počet exemplářů1