Formal models in programming

Formal models in programming

Saved in:

Bibliographic Details
Corporate Author:	IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing
Other Authors:	Neuhold, E. J., Chroust, Gerhard
Format:	Book
Published:	Amsterdam Elsevier Science Publisher 1985
Subjects:	Electronic digital computers > Programming > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal development of programs and proofs
Published: (1990)

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

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
Published: (1986)

Formal semantics of Programming languages.
Published: (1972)

Formal description techniques, IV proceedings of the ... FORTE '91, Sydney, Australia, 19-22 November 1991
Published: (1992)

Formal description techniques, II proceedings of the ... FORTE '89, Vancouver, Canada, 5-8 December 1989
Published: (1990)

Programming concepts and methods proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990
Published: (1990)

Using formal description techniques an introduction to Estelle, LOTOS, and SDL
Published: (1993)

Programming concepts, methods and calculi proceedings of the ... held on 6-10 June, 1994
Published: (1994)

Language design and programming methodology proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
Published: (1980)

Computer programming and formal systems.
by: Braffort, P. (Pauleed
Published: (1963)

The formal semantics of programming languages n introduction
by: Winskel, G. (Glynn
Published: (1993)

Programming an introduction to computer techniques
by: Maurer, Ward Douglas 1938-
Published: (1972)

Foundations of programming
by: Arsac, Jacques
Published: (1985)

Computer programming
by: Robinson, Philip
Published: (1982)

Computer programming
Published: (1995)

Programming logic
by: Leeson, Marjorie
Published: (1988)

The evolution of programs
by: Dershowitz, Nachum
Published: (1983)

Computer programming
by: Flores, Ivan
Published: (1966)

The science of programming
by: Gries, David
Published: (1981)

Computer programming
by: Flores, Ivan
Published: (1966)

Programming pearls
by: Bentley, Jon Louis
Published: (1989)

Introduction to programming
Published: (1992)

Program derivation the development of programs from specifications
by: Dromey, Geoff
Published: (1989)

Genetic programming on the programming of computers by means of natural selection
by: Koza, John R
Published: (1992)

Systematic programming an introduction
by: Wirth, Niklaus
Published: (1973)

Programming principles an introduction
by: Motil, John
Published: (1984)

Operating systems proceedings of an international symposium held at Rocquencourt, April 23-25, 1974.
Published: (1974)

Formal syntax and semantics of programming languages a laboratory based approach
by: Slonneger, Kenneth
Published: (1995)

Origins of programming discourses on methodology
by: Ershov, A. P. (Andrei Petrovich
Published: (1990)

Programming of future generation computers proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers, Tokyo, Japan, 6-8 October 1986
Published: (1988)

Programming teaching techniques proceedings.
Published: (1973)

Programs and machines an introduction to the theory of computation
by: Bird, R. J. Richard J
Published: (1976)

Problems in programming experience through practice
Published: (1991)

Advanced UNIX programming
by: Rochkind, Marc J
Published: (1985)

THE ART OF COMPUTER PROGRAMMING
by: Knuth, Donald Ervin 1938-
Published: (1973)

Principles of program design
by: Jackson, M. A
Published: (1977)

MASTERING COMPUTER PROGRAMMING
by: Gosling, P. E
Published: (1982)

Logic tools of programming
by: Pace, Philip
Published: (1987)

Mastering computer programming
by: Gosling, P. E
Published: (1982)