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

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

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

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

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

Категории:

Computers - Programming

Година:

1982

Издание:

1

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

Springer-Verlag Berlin Heidelberg

Език:

english

Страници:

429

ISBN 10:

3540390472

ISBN 13:

9783540390473

Серия:

Lecture Notes in Computer Science 131

Файл:

PDF, 10.98 MB

IPFS:

,

english, 1982

Четете Онлайн

Преобразуването в се извършва

Преобразуването в е неуспешно

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

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

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