Yazar
lars henrik eriksson
4 cilt bulundu.
Cilt sonuçları
FME 2002
Lars-Henrik Eriksson · Springer
625 sayfa · 2002
Development / Congresses / System design / Mathematics / Formal methods (Computer science)
FME 2002 : Formal Methods - Getting IT Right
Lars-Henrik Eriksson, Peter A. Lindsay · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok