J. P. Bowen

J. P. Bowen

1956

ספרים

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

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

Formal methodsPaul Boca

Paul Boca · 2010

Formal methods and testingRobert M. Hierons

Formal methods and testing

Robert M. Hierons · 2008

Industrial-strength formal methods in practiceMichael G. Hinchey

Industrial-strength formal methods in practice

Michael G. Hinchey · 1999