QR-Code

Formalization of programming concepts : international colloquium, proceedings, Penisola, Spain, April 19-25, 1981 /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Backus, John (VerfasserIn)
Format:	Buch
Sprache:	Tschechisch
Veröffentlicht:	Berlin : Springer, 1981
Schriftenreihe:	rz1
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formal description of programming concepts Proceedings of the IFFP working conference on Formal description of programming concepts : St. Andrews, N. B., Canada Aug. 1-5, 1977 /
von: Paul, Manfred
Veröffentlicht: (1978)

Formal foundations of correct programming /
von: Novitzká, Valerie
Veröffentlicht: (1999)

Formal semantics of programming languages /
Veröffentlicht: (1972)

Concept and Formalization of Constellatory Self-Unfolding A Novel Perspective on the Relation between Quantum and Relativistic Physics /
von: von Müller, Albrecht
Veröffentlicht: (2018)

Simple program schemes and formal languages /
von: Engelfriet, Joost
Veröffentlicht: (1974)

Concepts of programming languages /
von: Elson, Mark
Veröffentlicht: (1973)

Formal models in programming : Proceedings of the IFIP TC2 working conf. on the role of abstracts models in information pocessing, Vienna, Austria, 30 Jan. - 1 Febr., 1985 /
von: Neuhold, Erich J.
Veröffentlicht: (1985)

Formale Sprachen /
von: Salomaa, Arto K.
Veröffentlicht: (1978)

Fundamental concepts of programming systems /
von: Ullman, Jeffrey D.
Veröffentlicht: (1976)

Formal specification of programming languages. A panoramic primer /
von: Pagan, Frank G.
Veröffentlicht: (1981)

Mathematical logic and formalized theories : a survey of basic concepts and results /
von: Rogers, Robert
Veröffentlicht: (1974)

FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /
von: Jones, C. B.
Veröffentlicht: (1993)

Microprocessor software. Programming concepts and techniques /
von: Streitmatter, Gene A.
Veröffentlicht: (1981)

Formalization of natural languages /
von: Kümmel, Peter
Veröffentlicht: (1979)

Theory of formal systems /
von: Smullyan, Raymond M.
Veröffentlicht: (1961)

Introduction to Formal Philosophy
Veröffentlicht: (2018)

Decision tables in knowledge-based systems. Adding knowledge discovery and fuzzy concepts to the decision table formalism /
von: Wets, Geert
Veröffentlicht: (1998)

VSAM techniques. System concepts and programming procedures /
von: Musteata, Boris
Veröffentlicht: (1987)

Thermodynamic formalism : the mathematical structures of classical equilibrium, statistical mechanics /
von: Ruelle, David
Veröffentlicht: (1978)

AN INTRODUCTION TO FORMAL LANGUAGE THEORY /
von: Moll, Robert N.
Veröffentlicht: (1988)

A FORMALISM FOR CONCURENT PROCESSES /
von: Kaldewaij, Anne
Veröffentlicht: (1986)

Connecting informal and formal mathematics /
von: Elbers, Hugo Johannes
Veröffentlicht: (1998)

Automata theory and formal languages /
Veröffentlicht: (1975)

Control flow and data flow. Concepts of distributed programming : International Summer school /
von: Dijkstra, Edsger Wybe
Veröffentlicht: (1986)

Formal and Analytic Solutions of Diff. Equations FASdiff, Alcalá de Henares, Spain, September 2017, Selected, Revised Contributions /
Veröffentlicht: (2018)

Formal System Verification State-of the-Art and Future Trends /
Veröffentlicht: (2018)

CONCEPTS OF NONPARAMETRIC THEORY /
von: Pratt, John W.
Veröffentlicht: (1981)

PROGRAMMING CONCEPTS. A SECOND COURSE. WITH EXAMPLES IN PASCAL /
von: Jones, William B.
Veröffentlicht: (1982)

Formal techniques in artificial intelligence : A sourcebook /
von: Avenhaus, J.
Veröffentlicht: (1990)

Algebraic Formalization of Smart Systems Theory and Practice /
von: Serdyukova, Natalia
Veröffentlicht: (2018)

Descriptional complexity of formal systems : DCFS 2007, proceedings, ninth international workshop, High Tatras, July 20-22, 2007 /
von: Jürgensen, Helmut
Veröffentlicht: (2007)

Automata, languages and programming : 10th colloquium, Barcelona, Spain, July 18 - 22, 1983 /
von: Abramsky, Samson
Veröffentlicht: (1983)

Elementary computability, formal languages, and automata /
von: MacNaughton, Robert
Veröffentlicht: (1982)

A formal approach to hardware design /
von: Staunstrup, Jorgen
Veröffentlicht: (1994)

Katalogkunde. Formalkataloge und formale Ordnungsmethoden /
von: Haller, Klaus
Veröffentlicht: (1980)

Towards a formal description of ADA /
von: Bundgaard, Jorgen
Veröffentlicht: (1980)

Formal specification and analysis of industrial systems /
von: Bos, Victor
Veröffentlicht: (2002)

Swarm Robotics: A Formal Approach
von: Hamann, Heiko
Veröffentlicht: (2018)

Formal Approach to the Metaphysics of Perspectives Points of View as Access /
von: Colomina-Almiñana, Juan J.
Veröffentlicht: (2018)

FORMAL ASPECTS VLSI DESIGN : Proceedings of the 1985 Edinburgh workshop on VLSI, Edinburgh, Scotland, U. K., /
von: Milne, George J.
Veröffentlicht: (1986)