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 /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Czech |
| Published: |
Amsterdam :
North-Holland Publishing,
1978
|
| Series: | rz1
|
| Online Access: |
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Formalization of programming concepts : international colloquium, proceedings, Penisola, Spain, April 19-25, 1981 /
by: Backus, John
Published: (1981)
by: Backus, John
Published: (1981)
Towards a formal description of ADA /
by: Bundgaard, Jorgen
Published: (1980)
by: Bundgaard, Jorgen
Published: (1980)
Descriptional complexity of formal systems : DCFS 2007, proceedings, ninth international workshop, High Tatras, July 20-22, 2007 /
by: Jürgensen, Helmut
Published: (2007)
by: Jürgensen, Helmut
Published: (2007)
Formal description techniques. Vol. V : Internat. conf. for distributed systems and communications protocols - FORTE '92, Perros-Guirec, France, 13 - 16 Oct. 1992 /
by: Doldi, L.
Published: (1993)
by: Doldi, L.
Published: (1993)
Formal foundations of correct programming /
by: Novitzká, Valerie
Published: (1999)
by: Novitzká, Valerie
Published: (1999)
Formal semantics of programming languages /
Published: (1972)
Published: (1972)
Concept and Formalization of Constellatory Self-Unfolding A Novel Perspective on the Relation between Quantum and Relativistic Physics /
by: von Müller, Albrecht
Published: (2018)
by: von Müller, Albrecht
Published: (2018)
The denotational description of programming lanquaqes : an introduction /
by: Gordon, Michael J. C.
Published: (1979)
by: Gordon, Michael J. C.
Published: (1979)
Simple program schemes and formal languages /
by: Engelfriet, Joost
Published: (1974)
by: Engelfriet, Joost
Published: (1974)
Concepts of programming languages /
by: Elson, Mark
Published: (1973)
by: Elson, Mark
Published: (1973)
Cross section. Program description and user manual /
by: Jeppesen, Bo
Published: (1989)
by: Jeppesen, Bo
Published: (1989)
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 /
by: Neuhold, Erich J.
Published: (1985)
by: Neuhold, Erich J.
Published: (1985)
Formale Sprachen /
by: Salomaa, Arto K.
Published: (1978)
by: Salomaa, Arto K.
Published: (1978)
Fundamental concepts of programming systems /
by: Ullman, Jeffrey D.
Published: (1976)
by: Ullman, Jeffrey D.
Published: (1976)
Descriptive geometry /
by: Paré, E. G.
Published: (1965)
by: Paré, E. G.
Published: (1965)
Descriptive geometry /
by: Knor, Martin
Published: (2009)
by: Knor, Martin
Published: (2009)
Formal specification of programming languages. A panoramic primer /
by: Pagan, Frank G.
Published: (1981)
by: Pagan, Frank G.
Published: (1981)
Mathematical logic and formalized theories : a survey of basic concepts and results /
by: Rogers, Robert
Published: (1974)
by: Rogers, Robert
Published: (1974)
Microprocessor software. Programming concepts and techniques /
by: Streitmatter, Gene A.
Published: (1981)
by: Streitmatter, Gene A.
Published: (1981)
Theory of formal systems /
by: Smullyan, Raymond M.
Published: (1961)
by: Smullyan, Raymond M.
Published: (1961)
Formalization of natural languages /
by: Kümmel, Peter
Published: (1979)
by: Kümmel, Peter
Published: (1979)
Introduction to Formal Philosophy
Published: (2018)
Published: (2018)
Description of Situations An Essay in Contextualist Epistemology /
by: Venturinha, Nuno
Published: (2018)
by: Venturinha, Nuno
Published: (2018)
HARDWARE DESCRIPTION LANGUAGES /
by: Hartenstein, R. W.
Published: (1987)
by: Hartenstein, R. W.
Published: (1987)
Problems in descriptive geometry /
by: Arustamov, Ch. A.
Published: (1972)
by: Arustamov, Ch. A.
Published: (1972)
General description of fluidization /
by: Goossens, W. R. A.
Published: (1972)
by: Goossens, W. R. A.
Published: (1972)
Descriptive set theory.. /
by: Moschovakis, Yiannis N.
Published: (1980)
by: Moschovakis, Yiannis N.
Published: (1980)
Grammars and descriptions : studies in Text Theory and Text Analysis /
by: Bernstein, Jared
Published: (1977)
by: Bernstein, Jared
Published: (1977)
Decision tables in knowledge-based systems. Adding knowledge discovery and fuzzy concepts to the decision table formalism /
by: Wets, Geert
Published: (1998)
by: Wets, Geert
Published: (1998)
VSAM techniques. System concepts and programming procedures /
by: Musteata, Boris
Published: (1987)
by: Musteata, Boris
Published: (1987)
Thermodynamic formalism : the mathematical structures of classical equilibrium, statistical mechanics /
by: Ruelle, David
Published: (1978)
by: Ruelle, David
Published: (1978)
LINPROG. A linear programming solver. Mathematical description and model applications /
by: Kirkegaard, Peter
Published: (1995)
by: Kirkegaard, Peter
Published: (1995)
Resource description & access : revízia 2016 /
Published: (2017)
Published: (2017)
AN INTRODUCTION TO FORMAL LANGUAGE THEORY /
by: Moll, Robert N.
Published: (1988)
by: Moll, Robert N.
Published: (1988)
A FORMALISM FOR CONCURENT PROCESSES /
by: Kaldewaij, Anne
Published: (1986)
by: Kaldewaij, Anne
Published: (1986)
Connecting informal and formal mathematics /
by: Elbers, Hugo Johannes
Published: (1998)
by: Elbers, Hugo Johannes
Published: (1998)
Automata theory and formal languages /
Published: (1975)
Published: (1975)
Cycle in the forest and process description /
by: Tereňová, Jana, et al.
Published: (2001)
by: Tereňová, Jana, et al.
Published: (2001)
The arrangement and description of archival materials /
by: Taylor, Hugh A., et al.
Published: (1980)
by: Taylor, Hugh A., et al.
Published: (1980)
Rational descriptions, decisions and designs /
by: Tribus, Myron
Published: (1969)
by: Tribus, Myron
Published: (1969)