Popis: Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / Nir Piterman, Scott A. Smolka (eds.).

Summary goes here

Uloženo v:

Podrobná bibliografie
Médium:	Kniha
Jazyk:	angličtina
Témata:	System design Computer software System analysis Computer systems. Computer programs System analysis. Computer Systems Software Validation Systems Analysis Conception de systèmes Logiciels Analyse de systèmes Systèmes informatiques. Analyse de systèmes. systems analysis. Computer systems Computer science. Software engineering. Computer software. Logic design. Logics and Meanings of Programs. Algorithm Analysis and Problem Complexity. Programming Languages, Compilers, Interpreters. computerwetenschappen computer sciences algoritmen algorithms computeranalyse computer analysis programmeertalen programming languages Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) Congress proceedings (reports) Conference papers and proceedings Software. Conference papers and proceedings. Actes de congrès.
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!