Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977

QR Code

Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977

Saved in:

Bibliographic Details
Corporate Author:	IFIP Working Conference on Formal Description of Programming Concepts (St. Andrews, N.B : (1977)
Other Authors:	Neuhold, Erich J.
Format:	Book
Language:	English
Published:	Amsterdam North-Holland Pub. Co. 1978
Subjects:	Formal languages Computer programming
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal description of programming concepts--II proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982
Published: (1983)

Automation of Formal Veriﬁcation of Programs in the Pifagor Language
by: M. S. Ushakova, et al.
Published: (2015-08-01)

Formal Verification of Programs in Functional Dataflow Parallel Language
by: M. S. Kropacheva, et al.
Published: (2015-03-01)

Development and Application of a Software Tool to Support the Teaching of Formal Languages
by: A. P. Sergushicheva, et al.
Published: (2021-08-01)

Comparative Analysis of Arabic Language Learning Management in Formal and Non-Formal Educational Institutions
by: Khoeriyah Ajeng Prasasti, et al.
Published: (2025-06-01)

THE LIMITS OF THE FORMAL TREATMENT OF LANGUAGE
by: P. Alpár GERGELY
Published: (2019-11-01)

Formal specification of programming languages a panoramic primer
by: Pagan, Frank G.
Published: (1981)

How Informal Approaches and Terminology Can Influence the Formal Training of Professionals
by: Simon Craig Williams, et al.
Published: (2025-04-01)

Convergence of a formal power series and Gelfond-Leont’ev derivatives
by: S. I. Fedynyak, et al.
Published: (2011-05-01)

Formal Grounded Theory:
by: Vivian B. Martin
Published: (2017-06-01)

On formal local homology modules
by: M.H. Bijan-Zadeh
Published: (2015-06-01)

The Formalism and Language Tools for Semantics Speciﬁcation of Software Libraries
by: V. M. Itsykson
Published: (2016-12-01)

Formal and non-formal education : co-ordination and complimentarity : report of a Regional Operational Seminar, Bangkok and Southern Thailand, 22-31 October 1985.
Published: (1986)

Computers in language research formal methods
Published: (1979)

Concepts of programming languages /
by: Sebesta, Robert W.
Published: (2005)

Programming language concepts
by: Ghezzi, Carlo
Published: (1982)

The Formal Address Forms in Heritage Polish in Germany: The Dynamics of Transgenerational Language Change
by: Vladislava Warditz
Published: (2025-06-01)

Formal and informal systems in prison
by: Macanović Nebojša
Published: (2007-01-01)

FORMAL CODE-SWITCHING IN EFL SPEAKING COURSE
by: Maria Olga Jelimun
Published: (2025-06-01)

Alternative routes to formal education distance teaching for school equivalency
Published: (1982)

Program design concepts with applications in COBOL /
by: Philippakis, Andreas S.
Published: (1983)

Formal specification and software development /
by: Bjorner, D. (Dines), 1937-
Published: (1982)

Equivalence Problem Solvability in Gateway Program Models
by: R. I. Podlovchenko, et al.
Published: (2014-04-01)

A programming approach to formal methods /
by: Casey, Chris
Published: (1994)

Equivalence Problem Solvability in Biparametric Gateway Program Models
by: A. E. Molchanov
Published: (2014-08-01)

Pacific perspectives on non-formal education /
Published: (1987)

Doing Formal Grounded Theory
by: Tom Andrews
Published: (2007-06-01)

Teaching Formal Models of Concurrency Specification and Analysis
by: N. V. Shilov
Published: (2015-12-01)

About Algebraic Program Models with Procedures
by: R. I. Podlovchenko, et al.
Published: (2015-03-01)

An evaluation of the Non-Formal Education Programme Fund covering the 1984 expenditure : a report to the National Management Steering Committee, Non-Formal Education/National Department of Education and the New Zealand High Commission /
by: Cox, Elizabeth
Published: (1986)

Programming concepts, a second course (with examples in PASCAL)
by: Jones, William B., 1939-
Published: (1981)

Formal Diagonalisation of Lax-Darboux Schemes
by: A. V. Mikhailov
Published: (2015-12-01)

Formal Verification of Three-Valued Digital Waveforms
by: Nina Yu. Kutsak, et al.
Published: (2019-09-01)

Objek Material dan Objek Formal Pada Lagu Bertema Covid-19
by: Indah Wigati Putri, et al.
Published: (2021-07-01)

Evaluation of a formal mentorship program in government medical college using Delphi technique: Explanatory sequential mixed method study
by: Sangeetha Kandasamy, et al.
Published: (2025-01-01)

The theory and practice of non-formal education in developing countries : case studies from Papua New Guinea /
by: Harrington, Wendy
Published: (1987)

Formal methods of estimating risks in trade
by: G. P. Fomin
Published: (2018-10-01)

Verifying the Safety of Formal Specification Using Fault Tree Analysis and Animation
by: Wen Jiang, et al.
Published: (2025-01-01)

Formal Education System in Iraq: Upskilling and Reskilling for Employment and Self-Reliance
by: Sultana Begum, et al.
Published: (2023-08-01)

METHOD OF ATTRIBUTIVE SIGNS FORMALIZATION
by: B. I. Bachkalo, et al.
Published: (2019-04-01)