Lövei László; Tejfel Máté; Mészáros Mónika; Horváth Zoltán; Kozsik Tamás: Comparing specification with proved properties of clean dynamics : [abstract].
Előnézet |
Cikk, tanulmány, mű
cscs_2006_071.pdf Letöltés (38kB) | Előnézet |
| Mű típusa: | Konferencia vagy workshop anyag |
|---|---|
| Befoglaló folyóirat/kiadvány címe: | Conference of PhD Students in Computer Science |
| Dátum: | 2006 |
| Kötet: | 5 |
| Oldalak: | p. 71 |
| Nyelv: | angol |
| Kiadó: | University of Szeged |
| Kiadás helye: | Szeged |
| Konferencia neve: | Conference of PhD students in computer science (5.) |
| Konferencia típusa: | Konferencia |
| Helyszin: | Szeged |
| Dátum: | 2006. június 27-30. |
| Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/59483/ |
| Kulcsszavak: | Számítástechnika - előadáskivonat |
| Megjegyzések: | Bibliogr.: 71. p. |
| Szakterület: | 01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány |
| Feltöltés dátuma: | 2019. okt. 16. 12:40 |
| Utolsó módosítás: | 2023. jún. 29. 09:34 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/59871 |
 |
Tétel nézet |
