Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Logics of Programs. Proceedings 1983. ( = Lecture Notes in Computer Science, 164

Name: Logics of Programs. Proceedings 1983. ( = Lecture Notes in Computer Science, 164
SKU: 176564515226
Price: 22.00 EUR
Availability: InStock

22,00 €

Springer Heidelberg, 1984. 527 S. Paperback/ broschiert Sprache: Englisch Bestell-Nr: 397922 Bemerkungen: Programmierung Datenverarbeitung Mathematische Logik Mathematik guter Zustand/ good Ex-Library. Brownish paper. ha1082263 .

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer Heidelberg
Erscheinungsjahr:

1984
Autor:

Clarke, E. and D. ( Ed. ) Kozen
Publikationsname:

Logics of Programs. Proceedings 1983. ( = Lecture Notes in Compu
Sprache:

Englisch
Format:

Paperback/ broschiert
Produktart:

Bücher

Sparversand:

Deutsche Post Warensendung kostenlos - Lieferung zwischen 05. February 2025 und 07. February 2025 (bei heutigem Zahlungseingang)
Standardversand:

Hermes Paket 6,50 EUR - Lieferung zwischen 05. February 2025 und 07. February 2025 (bei heutigem Zahlungseingang)
Versand nach:

Amerika, Europa, Asien, Australien
Versand ausgeschlossen:

Packstation , Russische Föderation

Logics of Programs. Proceedings 1983. ( = Lecture Notes in Computer Science, 164

Directions in databases : proceedings. Lecture Notes in Computer Science ; Vol.

Manufacturing Engineering: Select Proceedings of CPIE 2018 (Lecture Notes on Mul

Programs as Data Objects. Proceedings of a Workshop Copenhagen, Denmark, October

Cabal Seminar 76 - 77: Proceedings, Caltech UCLA Logic Seminar 1976 - 77 Lecture

Category Seminar : proceedings Sydney Category Theory Seminar 1972/1973 Lecture

Inductive logic programming : 9th international workshop ; proceedings. Lecture

Advances in cryptology. Proceedings. Pfitzmann, Birgit [Hrsg.].:

Computation Theory and Logic (Lecture Notes in Computer Science)

Lambda-Calculus and Computer Science Theory: Proceedings of the Symposium held i

Space Science Symposium Space Research VII Proceedings of Seventh International

Graph-theoretic concepts in computer science : proceedings. 15th Internat. Works

Data Science and Security: Proceedings of IDSCS 2020 (Lecture Notes in

Data Science and Security: Proceedings of IDSCS 2021 (Lecture Notes in

Logic Programming. 21st international conference ; proceedings. ICLP 2005, Sitge

Proceedings of the California Academy of Sciences,

Applications of Fluid Dynamics: Proceedings of ICAFD 2016 (Lecture Notes in

Logic, Methodology and Philosophy of Science: Proceedings of the Fifteenth

Computation and Proof Theory: Proceedings of the Logic Colloquium. Held in Aache

Proceedings of the 1983 Academy of Marketing Science (AMS) An... - 9783319169361

Advances in Data Science and Management: Proceedings of ICDSM 2019 (Lecture

Logics of Programs. Proceedings 1983. ( = Lecture Notes in Computer Science, 164

Ähnliche Artikel

Directions in databases : proceedings. Lecture Notes in Computer Science ; Vol.

Manufacturing Engineering: Select Proceedings of CPIE 2018 (Lecture Notes on Mul

Programs as Data Objects. Proceedings of a Workshop Copenhagen, Denmark, October

Cabal Seminar 76 - 77: Proceedings, Caltech UCLA Logic Seminar 1976 - 77 Lecture

Category Seminar : proceedings Sydney Category Theory Seminar 1972/1973 Lecture

Inductive logic programming : 9th international workshop ; proceedings. Lecture

Advances in cryptology. Proceedings. Pfitzmann, Birgit [Hrsg.].:

Computation Theory and Logic (Lecture Notes in Computer Science)

Lambda-Calculus and Computer Science Theory: Proceedings of the Symposium held i

Space Science Symposium Space Research VII Proceedings of Seventh International

Graph-theoretic concepts in computer science : proceedings. 15th Internat. Works

Data Science and Security: Proceedings of IDSCS 2020 (Lecture Notes in

Data Science and Security: Proceedings of IDSCS 2021 (Lecture Notes in

Logic Programming. 21st international conference ; proceedings. ICLP 2005, Sitge

Proceedings of the California Academy of Sciences,

Applications of Fluid Dynamics: Proceedings of ICAFD 2016 (Lecture Notes in

Logic, Methodology and Philosophy of Science: Proceedings of the Fifteenth

Computation and Proof Theory: Proceedings of the Logic Colloquium. Held in Aache

Proceedings of the 1983 Academy of Marketing Science (AMS) An... - 9783319169361

Advances in Data Science and Management: Proceedings of ICDSM 2019 (Lecture

Cookie Hinweis