Yazar
bernhard k aichernig
4 cilt bulundu.
Cilt sonuçları
Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010
Bernhard K. Aichernig · Springer
Sayfa sayısı yok · 2012
Software Engineering/Programming and Operating Systems / Software engineering / Programming Techniques / Logic design / Logics and Meanings of Programs
Tests and Proofs
Bernhard K. Aichernig, Carlo A. Furia · Springer
206 sayfa · 2016
Computer software, testing / Computer software, verification / Software engineering
Formal methods at the crossroads
Bernhard K. Aichernig, Tom Maibaum · Springer-Verlag
453 sayfa · 2003
Congresses / Software engineering