Yazar
martin c henson
4 cilt bulundu.
Cilt sonuçları
Logics of specification languages
D. Bjørner, Martin C. Henson · Springer London, Limited
635 sayfa · 2007
Symbolic and mathematical Logic / Semantics / Programming languages (Electronic computers) / Logic design / Information theory
Elements of functional languages
Martin C. Henson · Blackwell Science Inc
434 sayfa · 1987
Functional programming languages / Functional programming (computer science)
ZB 2002 : Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok