Logics of Programs: Workshop, Yorktown Heights, New York,...

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

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), 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:

1982

In lần thứ:

1

Nhà xuát bản:

Springer-Verlag Berlin Heidelberg

Ngôn ngữ:

english

Trang:

429

ISBN 10:

3540390472

ISBN 13:

9783540390473

Loạt:

Lecture Notes in Computer Science 131

File:

PDF, 10.98 MB

IPFS:

,

english, 1982

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

R. J. R. Back, H. Mannila (auth.), Mogens Nielsen, Erik Meineche Schmidt (eds.) — Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12–16, 1982

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

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

Nissim Francez — Program Verification

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

Ed; Eckman, Ed Dold — Symposium on Semantics of Algorithmic Languages

Marek Karpinski, J. Van Leeuwen (ed.) — Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

Walter A. Carnielli, Itala M. L. D'Ottaviano, Walter A. Carnielli (ed.) — Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil

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

W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, J. Misra, (eds.) — Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra

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

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

Jose J.A. (ed.), Leite J. (ed.) — Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings

Author — Title

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