BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, shape your shelves, and share what is worth reading.

Books Lists Diary Stats Members Plans

© 2026 Cilt

Yükleniyor

Yazar

Didier Bert

4 cilt bulundu.

Cilt sonuçları

B'98: Recent Advances in the Development and Use of the B Method

B'98: Recent Advances in the Development and Use of the B Method

Bert Didier · Springer

313 sayfa · 1998

Kategori yok

CiltÉtude d'elements fondamentaux des langages de programmationDidier Bert

Étude d'elements fondamentaux des langages de programmation

Didier Bert · Yayınevi bilinmiyor

178 sayfa · 1973

Kategori yok

Z (computer program language)ZB 2003 : Formal Specification and Development in Z and BDidier Bert, Jonathan P. Bowen, Steve King, Marina Waldén

ZB 2003 : Formal Specification and Development in Z and B

Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén · Springer London, Limited

Sayfa sayısı yok · 2003

Z (computer program language)

CiltZB 2002 : Formal Specification and Development in Z and BDidier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson

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