Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

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

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Thể loại:

Computers - Programming

Năm:

1984

In lần thứ:

1

Nhà xuát bản:

Springer-Verlag Berlin Heidelberg

Ngôn ngữ:

english

Trang:

531

ISBN 10:

3540387757

ISBN 13:

9783540387756

Loạt:

Lecture Notes in Computer Science 164

File:

PDF, 14.67 MB

IPFS:

,

english, 1984

Không download được sách này bởi khiếu nại của đại diện pháp luật

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

— Pravin Lal

Có thể bạn quan tâm

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

Từ khóa thường sử dụng nhất