Robert M. Hierons

Robert M. Hierons

2 ספרים במאגר

ספרים

Software Engineering and Formal MethodsRobert M. Hierons

Software Engineering and Formal Methods

Robert M. Hierons · 2013

Formal methods and testingRobert M. Hierons

Formal methods and testing

Robert M. Hierons · 2008

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

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

Testing of Communicating SystemsRoland Groz

Testing of Communicating Systems

Roland Groz · 2004