Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 /

Published 1982

An introduction to the PL/CV2 programming logic /

by Constable, R. L. (Robert L.)
Published 1982

Compiler specification and verification /

by Polak, Wolfgang, 1950-
Published 1981

Logic of programs : workshop, ETH Zurich, May-July 1979 /

Published 1981

Y12M solution of large and sparse systems of linear algebraic equations : documentation of subroutines /

by Zlatev, Zahari, 1939-
Published 1981

Verifying concurrent processes using temporal logic /

by Hailpern, Brent T. (Brent Tzion), 1955-
Published 1982

Time series package (TSPACK) /

by Chaghaghi, Francois S.
Published 1985

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /

Published 1985

A Survey of verification techniques for parallel programs /

by Barringer, Howard, 1951-
Published 1985

Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 /

Published 1985

Theory of program structures : schemes, semantics, verification.

by Greibach, Sheila A., 1939-
Published 1975

Unified theory calculations of Stark broadened hydrogen lines including lower state interactions /

by Vidal, Carl Rudolph, 1937-
Published 1971

Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

Published 1994

Utility computing : 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004 : proceedings /

Published 2004