D. Bjorner

D. Bjorner

2 ספרים במאגר

ספרים

Vdm'87: Vdm-A Formal Method at WorkD. Bjorner

Vdm'87: Vdm-A Formal Method at Work

D. Bjorner · 1987

Abstract Software SpecificationsD. Bjorner

Abstract Software Specifications

D. Bjorner · 1982

ספרים משותפים ואוספים

ספרים שבהם D. Bjorner מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

VDM '90VDM-Europe. International Symposium

VDM-Europe. International Symposium · 1990