Books by John Stack

Cover of Refinement in Z and Object-Z

Refinement in Z and Object-Z

by John Derrick, Eerke Boiten

2001
Cover of Handbook of Chemical and Environmental Engineering Calculations

Handbook of Chemical and Environmental Engineering Calculations

by Joseph Reynolds, John S. Jeris, Louis Theodore

2002
Cover of Tests of Nacelle-propeller Combinations in Various Positions with Reference to Wings

Tests of Nacelle-propeller Combinations in Various Positions with Reference to Wings

by Donald H. Wood, Eastman Nixon Jacobs, Edwin P. Hartman, I. E. Garrick, John Stack, Theodore Theodorsen, United States. National Advisory Committee for Aeronautics, Kenneth Edwards Ward, Robert McLean Pinkerton

1933
Cover of Formal Methods and Digital Systems Validation for Airborne Systems

Formal Methods and Digital Systems Validation for Airborne Systems

by John Rushby

1993
Cover of The Waite Group's C++ Programming

The Waite Group's C++ Programming

by John Thomas Berry, Waite Group

1988

Can't find the book you're looking for? Let us know — it helps us improve.