Comparing specification with proved properties of clean dynamics [abstract] /

Elmentve itt :
Bibliográfiai részletek
Szerzők: Lövei László
Tejfel Máté
Mészáros Mónika
Horváth Zoltán
Kozsik Tamás
Testületi szerző: Conference of PhD students in computer science (5.)
Dokumentumtípus: Könyv része
Megjelent: University of Szeged Szeged 2006
Sorozat:Conference of PhD Students in Computer Science 5
Kulcsszavak:Számítástechnika - előadáskivonat
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/59871