Uwe Glässer

ספרים שבהם Uwe Glässer מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Rigorous methods for software construction and analysisJean-Raymond Abrial

Rigorous methods for software construction and analysis

Jean-Raymond Abrial · 2009