Yazar
tacas 98 1998 lisbon
1 cilt bulundu.
Cilt sonuçları
Tools and algorithms for the construction and analysis of systems
TACAS '98 (1998 Lisbon, Portugal) · Springer
455 sayfa · 1998
Congresses / Development / System design / Computer software / Computer software, development