Author

Brian A. Wichmann

10 books found

Cover of ADA. Lengoaia eta metodologia

ADA. Lengoaia eta metodologia

David A. Watt, Brian A. Wichmann, William Findlay · First published 1997

Placeholder cover for Testing Ada fixed point operations

Testing Ada fixed point operations

Brian A. Wichmann · First published 1997

Cover of Software in safety-related systems

Software in safety-related systems

Brian A. Wichmann · First published 1992

Cover of ADA

Ada

David A. Watt, Brian A. Wichmann, William Findlay · First published 1987

Placeholder cover for Tutorial material on the real data types in ADA

Tutorial material on the real data types in ADA

Brian A. Wichmann · First published 1981 · Latest edition 1984

Cover of Pascal compiler validation

Pascal compiler validation

Brian A. Wichmann · First published 1983

Placeholder cover for A pseudo-random number generator

A pseudo-random number generator

Brian A. Wichmann · First published 1982

Cover of ALGOL 60 compilation and assessment

ALGOL 60 compilation and assessment

Brian A. Wichmann · First published 1973

Placeholder cover for A note on the use of variables in ALGOL 60

A note on the use of variables in ALGOL 60

Brian A. Wichmann · First published 1972

Placeholder cover for PL 516, an ALGOL-like assembly language for the DDP-516

PL 516, an ALGOL-like assembly language for the DDP-516

Brian A. Wichmann · First published 1970