Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Theory of Program Structures: Schemes, Semantics,...

Main
Computers - Programming
Theory of Program Structures: Schemes,...

Theory of Program Structures: Schemes, Semantics, Verification

Prof. Sheila A. Greibach (eds.)

0 / 0

Насколько вам понравилась эта книга?

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

Скачайте книгу, чтобы оценить ее качество

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

Категории:

Computers - Programming

Год:

1975

Издание:

1

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

Springer-Verlag Berlin Heidelberg

Язык:

english

Страницы:

370

ISBN 10:

3540379428

ISBN 13:

9783540379423

Серия:

Lecture Notes in Computer Science 36

Файл:

PDF, 8.60 MB

IPFS:

,

english, 1975

Скачивание этой книги недоступно по жалобе правообладателя

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

— Pravin Lal

Вас может заинтересовать

Walter J Savitch — Abstract machines and grammars (Little, Brown computer systems series)

Michael Sipser — Introduction to the Theory of Computation, Second Edition

Critchlow C., Eck D. — Foundations of computation

Carol Critchlow, David Eck — Foundations of Computation

Desconocido — Automata Languages And Programming 26 Icalp 99 1644 1999 3540662243 734s

Mads Dam, Frank Jensen (auth.), Bernard Robinet, Reinhard Wilhelm (eds.) — ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) — Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.) — Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Jones N. — Computability and Complexity: From a Programming Perspective

Neil D Jones — Computability And Complexity From A Programming Perspective

Carol Critchlow, David Eck — Foundations of Computation, Second edition

Zohar Manna — Mathematical Theory of Computation

E. Börger — Computability, complexity, logic

Mallozzi J.S., De Lillo N.J. — Computability with PASCAL

Harry Lewis, Christos H. Papadimitriou — Elements of the Theory of Computation

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

Walter J Savitch — Abstract machines and grammars

E. Boerger — Computability, Complexity, Logic

Michael Sipser — Introduction to the Theory of Computation

Michael Sipser — Introduction to the Theory of Computation

Meduna Alexander — Automata and Languages: Theory and Applications

Saunders Mac Lane, Dirk Siefkes (auth.), Saunders Mac Lane, Dirk Siefkes (eds.) — The Collected Works of J. Richard Büchi

Wolfgang Schreiner — Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Isil Dillig,Jens Palsberg (eds.) — Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) — Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.) — Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.) — Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Stål Aanderaa (auth.), E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter (eds.) — Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Unknown — Automata Languages And Programming 26 Icalp 99 1644 1999 3540662243 734s

Ключевые слова