Yazar
Guillaume Brat
1 cilt bulundu.
Cilt sonuçları
NASA Formal Methods
Guillaume Brat · Springer Berlin Heidelberg
498 sayfa · 2013
Software Engineering/Programming and Operating Systems / Software engineering / Programming Techniques / Logic design / Logics and Meanings of Programs