QR Code

Formal specification of programming languages. A panoramic primer /

Saved in:

Bibliographic Details
Main Author:	Pagan, Frank G.
Format:	Book
Language:	English
Published:	Englewood Cliffs : Prentice-Hall, 1981
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal semantics of programming languages /
Published: (1972)

Simple program schemes and formal languages /
by: Engelfriet, Joost
Published: (1974)

Formal specification and analysis of industrial systems /
by: Bos, Victor
Published: (2002)

Formalization of natural languages /
by: Kümmel, Peter
Published: (1979)

AN INTRODUCTION TO FORMAL LANGUAGE THEORY /
by: Moll, Robert N.
Published: (1988)

Automata theory and formal languages /
Published: (1975)

Domain-Specific Languages in R Advanced Statistical Programming /
by: Mailund, Thomas
Published: (2018)

Elementary computability, formal languages, and automata /
by: MacNaughton, Robert
Published: (1982)

Semantic integration of heterogeneous formal specifications via transformation systems /
by: Grosse-Rhode, Martin
Published: (2001)

Panoramic P 26.6 LP, LPT, SP, SPT.
Published: (2006)

Formal foundations of correct programming /
by: Novitzká, Valerie
Published: (1999)

Formal language theory. Perspectives and open problems /
by: Ginsburg, Seymour
Published: (1980)

Cryptography. A primer /
by: Konheim, Alan G.
Published: (1981)

A primer on disciplined programming : using PL/I, PL/CS, and PL/CT /
by: Conway, Richard
Published: (1978)

THE 8087 PRIMER /
by: Palmer, John F.
Published: (1984)

Hyperelasticity Primer
by: Hackett, Robert M.
Published: (2018)

Programing language/ one : with structured programming /
by: Bates, Frank, et al.
Published: (1975)

Microprogramming primer /
by: Katzan, Harry
Published: (1977)

EMDABS. Design and formal specification of a datamodel for a clinical research database system /
by: Pfaffenhöfer, F. M.
Published: (1991)

Formalization of programming concepts : international colloquium, proceedings, Penisola, Spain, April 19-25, 1981 /
by: Backus, John
Published: (1981)

A PROLOG PRIMER /
by: Rogers, Jean B.
Published: (1986)

A UNIX primer /
by: Lomuto, Ann Nicols
Published: (1983)

A packaging primer /
by: Sacharow, Stanley
Published: (1978)

PROGRAMMING LANGUAGES /
by: Pratt, Terrence W.
Published: (1984)

Programming languages /
by: Tucker, Allen B.
Published: (1977)

Program specification and transformation : Proceedings of the IFIP TC2/WG2.1 working conf., Bad Tölz, FRG, 15 - 17 April, 1986 /
by: Meertens, Lambert G. L. T.
Published: (1987)

A programming language /
by: Iverson, Kenneth E.
Published: (1962)

Computer animation primer /
by: Fox, David
Published: (1984)

Primer on greenhouse gases /
by: Wuebbles, Donald J.
Published: (1991)

C Primer Plus
Published: (2013)

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 /
by: Paul, Manfred
Published: (1978)

Formale Sprachen /
by: Salomaa, Arto K.
Published: (1978)

SQL Primer An Accelerated Introduction to SQL Basics /
by: Batra, Rahul
Published: (2018)

Programming languages : design and implementation /
by: Pratt, Terrence W.
Published: (1975)

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)

Online searching. A primer /
by: Fenichel, Carol H.
Published: (1981)

A TEX primer for scientists /
by: Sawyer, Stanley A.
Published: (1995)

A Primer of Analytical Mechanics
by: Strocchi, Franco
Published: (2018)

Formal VLSI specification and synthesis. VLSI design methods. Vol. I : Proceedings of the IFIP WG 10.2/WG 10.5 internat. workshop on applied formal methods for correct VLSI design, Houthalen, Belgium, 13 - 16 Nov., 1989 /
by: Claesen, Luc J. M.
Published: (1990)

Principles of programming languages /
by: Tennent, R. D.
Published: (1981)