Tools and algorithms for the construction and analysis of systems : First international workshop, TACAS '95 Aarhus, Denmark, May 19-20, 1995. Selected papers

Podrobná bibliografie

Další autoři:	Brinksma, Ed (Editor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer-Verlag, 1995
Edice:	Lecture notes in computer science ; 1019
ISBN:	3-540-60630-0
Témata:	informační systémy matematické programování algoritmizace verifikace programu
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!