Yazar
Eerke Boiten
5 cilt bulundu.
Cilt sonuçları
Refinement in Z and Object-Z
John Derrick, Eerke A. Boiten · Springer London, Limited
492 sayfa · 2001
Z (Computer program language) / Object-oriented programming (Computer science)
Refinement
John Derrick, Eerke Boiten · Springer
269 sayfa · 2018
Application software, development / Software engineering
Integrated formal methods
Eerke Boiten, John Derrick, Graeme Smith · Springer London, Limited
541 sayfa · 2004
Formal methods (Computer science) / Congresses / Logic design / Computer science / Software engineering
Refinement in Z and Object-Z
John Derrick, Eerke A. Boiten · Springer London
Sayfa sayısı yok · 2001
Verfeinerung / Z <Programmiersprache> / Object-Z