Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Logics of Programs: Workshop, Carnegie Mellon University...

Main
Computers - Programming
Logics of Programs: Workshop, Carnegie...

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

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Категории:

Computers - Programming

Година:

1984

Издание:

1

Издателство:

Springer-Verlag Berlin Heidelberg

Език:

english

Страници:

531

ISBN 10:

3540387757

ISBN 13:

9783540387756

Серия:

Lecture Notes in Computer Science 164

Файл:

PDF, 14.67 MB

IPFS:

,

english, 1984

Изтеглянето на тази книга не е възможно поради жалба от притежателя на авторските права

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Може да се интересувате от

Yu. L. Ershov, E. A. Palyutin — Mathematical Logic

Yu. L. Ershov, E. A. Palyutin — Mathematical Logic

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.) — Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

John N. Crossley (ed.) — Sets, Models and Recursion Theory (Logic Colloquium'65)

John N. Crossley — Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

Hoare Charles Antony Richard, Shepherdson J.C. (eds.) — Mathematical logic and programming languages

Rene Lalement, John Plaice — Computation as logic

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Jan van Leeuwen (ed.) — Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

Edsger W. Dijkstra (auth.), Manfred Broy (eds.) — Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Wilfried Sieg (ed.) — Logic and Computation: Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987

Howard Barringer, Dov Gabbay (auth.), Yiannis N. Moschovakis (eds.) — Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989

Broy, Manfred (ed.) — Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Wolfgang Schreiner — Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Jiří Bečvář (auth.), A. Blikle (eds.) — Mathematical Foundations of Computer Science: 3rd Symposium at Jadwisin near Warsaw, June 17–22, 1974

Dines Bjørner (auth.), P. Dembiński (eds.) — Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

C. P. Schnorr (auth.), Shimon Even, Oded Kariv (eds.) — Automata, Languages and Programming: Eighth Colloquium Acre (Akko), Israel July 13–17, 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Robert L. Constable (auth.), Armin B. Cremers, Hans-Peter Kriegel (eds.) — Theoretical Computer Science: 6th Gl-Conference Dortmund, January 5–7, 1983

Ingo Wegener (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.) — TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

Gordon Plotkin (auth.), Takayasu Ito, Albert R. Meyer (eds.) — Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings

John V. Guttag (auth.), M. -C. Gaudel, J. -P. Jouannaud (eds.) — TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings

Juris Hartmanis (auth.), Rudrapatna K. Shyamasundar (eds.) — Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15–17, 1993 Proceedings

Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.) — Logic and Algebra of Specification

Най-често използвани термини