Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Persona/Ente/Famiglia

Espandi

Riduci

Questo autore in

Wikipedia

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Vojnar, Tomáš
ID: 1351226

Opere

Altre forme del nome

http://viaf.org/viaf/306106403/

Vojnar, Tomáš, 1973-

http://viaf.org/viaf/306106403/

Tomáš Vojnar Narozen 29. 6. 1973 v Karviné. Doc., Ing., Ph.D., autor prací o informačních technologiích, zejména o metodách automatizované verifikace systémů

http://viaf.org/viaf/306106403/

Vojnar, Tomáš

Nome da opac

Seleziona tutte

Deseleziona

Tools and Algorithms for the Construction and Analysis of Systems

...