Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Autor:	Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
Předmět:	Software engineering, Algorithms, Computer science, Computer programming, Compilers (Computer programs)
Kategorie:	COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms
Databáze:	eBook Index
Externí odkaz:	Zobrazit plný text záznamu