Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Hlavní strana
Publikace dané osoby
Peled, Doron A., 1962-
Biografické údaje:
Narozen 4.10.1962. Autor počítačové literatury.
Zdroj:
Doron A. Peled: Software reliability methods
LC (Names)
Další informace:
Publikace dané osoby
8
Publikace o dané osobě
0
Metadata
Podrobné výsledky >>
Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
Computer aided verification : 11th international conference, CAV'99 Trento, Italy, July 6-10, 1999. Proceedings
Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
Formal techniques for networked and distributed systems : FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers
Software reliability methods
Time for cerification : essays in memory of Amir Pnueli
Publikace dané osoby
×
Načítá se...