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

Navigace: http://aleph22.vkol.cz/pub / svk01 / 00002xxxx / 0000277xx / 000027789.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-97226-9
ISBN3-540-97226-9 (brož) : bc
MDT681.3.02
Názvové údajeHardware Specification, Verification and Synthesis: Mathematical Aspects : Mathem. Sciences Inst. Workshop Cornell Univ : Proceedings / Ed. Geoffrey Brown, Miriam Leeser
Nakladatel.údajeBerlin : Springer, 1990
Údaje fyz.popisu6, 402 s
Edice-jiná formaLecture Notes in Computer Science ; Vol. 408
Všeobecná pozn.Bibliogr. na konci kapitol
VZ-Osobní jm.Brown, Geoffrey
VZ-Osobní jm.Leeser, Miriam
VZ-Edice-Unif.náz. Lecture Notes in Computer Science
Sigla,sign.vlastn.OLA001 585.180
Předmět.heslaHardware specifikace ověření a syntéza aspekty matematické sborníky
Počet exemplářů1