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

Navigace: https://aleph.vkol.cz/pub / svk01 / 00114xxxx / 0011413xx / 001141399.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.

ISBN978-80-01-05760-5 (brožováno)
Kód jazykaeng cze eng
Kód předm.kateg.004 Počítačová věda. Výpočetní technika. Informační technologie
MDT517.938
MDT004.052.42
MDT(043.5:042.3)
HZ-Osobní jménoRatschan, Stefan
Názvové údajeFoundations of the automatic analysis of cyber-physical systems / Stefan Ratschan
Varianta názvuSouběžný český název v tiráži: Základy automatické analýzy kyber-fyzikálních systémů
NakladatelV Praze : České vysoké učení technické, 2015
Údaje fyz.popisu21 stran ; 21 cm
Typ obsahutext txt
Typ médiabez média n
Typ nosičesvazek nc
Edice-jiná formaHabilitační přednášky ; 15/2015
Všeobecná pozn.Nad názvem: České vysoké učení technické v Praze, Fakulta informačních technology [i.e. technologií]
Všeobecná pozn.33 výtisků
Pozn.o bibliogr.Obsahuje bibliografii
Pozn.o jazykuAnglické a české resumé
Předm.-Věc.témahybridní systémy
Předm.-Věc.témaformální verifikace
Předm.-angl.hybrid systems
Předm.-angl.formal verification
Předm.-volně tvoř. kyber-fyzikální systémy
Žánr/formahabilitační přednášky
Žánr/formahabilitation lectures
VZ-KorporaceČeské vysoké učení technické v Praze. Fakulta informačních technologií
VZ-Edice-KorporaceČeské vysoké učení technické v Praze. Habilitační přednášky
ISBN-pom.údaje[1st edition] 20150722
Sigla,sign.vlastn.OLA001 1-306.172
Počet exemplářů0 1

Úvodní stránka katalogu. O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.