Jones, Robert B.

Jones, Robert B.

2 ספרים במאגר

ספרים

Symbolic Simulation Methods for Industrial Formal VerificationJones, Robert B.

Symbolic Simulation Methods for Industrial Formal Verification

Jones, Robert B. · 2002

Collected Poems of Jean ToomerJones, Robert B.

Collected Poems of Jean Toomer

Jones, Robert B. · 2014

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

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

Computer aided verificationThomas Ball

Computer aided verification

Thomas Ball · 2006