Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

Logic design;Computer science;Logics and Meanings of Programs;Mathematical Logic and Formal Languages

Clarke, E;Kozen, D - Imprint: Springer 1984 1st ed. 1984.

CAAP '83 : Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings

Logic design;Logics and Meanings of Programs

Ausiello, G;Protasi, M - Imprint: Springer 1983 1st ed. 1983.

Logics of Programs and Their Applications : Proceedings, Poznan, August 23-29, 1980

Logic design;Logics and Meanings of Programs

Salwicki, A - Imprint: Springer 1983 1st ed. 1983.

Introduction to the PL/CV2 Programming Logic, An

Logic design;Computer science;Logics and Meanings of Programs;Programming Techniques

Constable, R. L;Johnson, S. D;Eichenlaub, C. D - Imprint: Springer 1982 1st ed. 1982.

Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981

Logic design;Software engineering;Logics and Meanings of Programs

Staunstrup, J - Imprint: Springer 1982 1st ed. 1982.

Verifying Concurrent Processes Using Temporal Logic

Logic design;Computer science;Logics and Meanings of Programs;Programming Techniques

Hailpern, B. T - Imprint: Springer 1982 1st ed. 1982.

Axiomatising the Logic of Computer Programming

Logic design;Logics and Meanings of Programs

Goldblatt, R - Imprint: Springer 1982 1st ed. 1982.

Logics of Programs : Workshop, Yorktown Heights, NY, USA

Logic design;Logics and Meanings of Programs

Kozen, D - Imprint: Springer 1982 1st ed. 1982.

International Symposium on Programming : 5th Colloquium, Turin, April 6-8, 1982. Proceedings

Logic design;Computer science;Logics and Meanings of Programs;Programming Techniques

Dezani-Ciancaglini, M;Montanari, U - Imprint: Springer 1982 1st ed. 1982.

Logic of Programs : Workshop, ETH Zürich, May-July 1979

Logic design;Logics and Meanings of Programs

Engeler, E - Imprint: Springer 1981 1st ed. 1981.

Algebraic Semantics

Logic design;Logics and Meanings of Programs

Guessarian, I - Imprint: Springer 1981 1st ed. 1981.

Proceedings of the second Symposium on Small Systems : papers presented at the symposium, Dallas, Texas, October 1-3, 1979

Engineering & Applied Sciences;Computer Science

Maryanski, Fred J - ACM 1979

Semantics of Concurrent Computation : Proceedings of the International Symposium Evian, France, July 2-4, 1979

Logic design;Software engineering;Logics and Meanings of Programs

Kahn, G - Imprint: Springer 1979 1st ed. 1979.

L Systems

Logic design;Computer science;Logics and Meanings of Programs;Mathematical Logic and Formal Languages

Rozenberg, G;Salomaa, A - Imprint: Springer 1974 1st ed. 1974.

International Symposium on Theoretical Programming

Logic design;Logics and Meanings of Programs

Ershov, A;Nepomniaschy, V.A - Imprint: Springer 1974 1st ed. 1974.

Software engineering. : proceedings of the Third Symposium on Computer and Information Sciences held in Miami Beach, Florida, December, 1969 / Coins III : Volume I

Artificial intelligence;Electronic digital computers;Information storage and retrieval systems;Programming languages (Electronic computers);Conference papers and proceedings;sähkökirjat

Tou, Julius T - Academic Press 1970

Introduction to Online Platforms and Their Role in the Digital Transformation, An

- OECD Publishing