A programming approach to formal methods /

Main Author:	Casey, Chris
Format:	Book
Language:	English
Published:	London ; New York : McGraw-Hill Book Co., c1994.
Subjects:	Computer programming

Similar Items

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

Formal development of programs and proofs /
Published: (1990)

Computer programming and formal systems/
Published: (1963)

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

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: (1978)

A structured approach to BASIC programming/
by: Sass, C. Jooseph
Published: (1980)

A method of programming/
by: Dijkstra, Edsger Wybe
Published: (1988)

The functional approach to programming /
by: Cousineau, Guy.
Published: (1998)

Formal methods for distributed processing : a survey of object-oriented approaches /
Published: (2001)

Formal language description languages for computer programming : proceedings of the IFIP Working Conference on Formal Description Languages /
Published: (1966)

Computer programming and formal systems/
Published: (1970)

Program design methods: results of an NCC study/
by: Bleazard, G. B.
Published: (1976)

Processing : a programming handbook for visual designers and artists /
by: Reas, Casey.
Published: (2014)

Pascal, an introduction to methodical programming/
by: Findlay, William, 1947-
Published: (1985)

A structured approach to FORTRAN 77 programming/
by: Ellis, T. M. R., 1942-
Published: (1982)

Formal development of programs and proofs/
Published: (1990)

Processing : a programming handbook for visual designers and artists /
by: Reas, Casey.
Published: (2007)

A practical approach to computing/
by: Arms, William Y.
Published: (1976)

Elements of functional programming/
by: Reade, Chris
Published: (1989)

Principles of program analysis /
by: Nielson, Flemming, 1955-
Published: (1999)

Logic programming : formal methods and practical applications /
Published: (1995)

A discipline of programming /
by: Dijkstra, Edsger Wybe
Published: (1976)

Introduction to programming: a Basic approach/
by: Hare, Van Court
Published: (1970)

Introduction to programming : a Basic approach /
by: Hare, Van Court
Published: (1970)

Make : getting started with processing : a hands-on introduction to making interactive graphics /
by: Reas, Casey.
Published: (2015)

Programming C /
by: Liberty, Jesse
Published: (2002)

C programming : a modern approach /
by: King, K. N.
Published: (2008)

C programming: a modern approach/
by: King, Kim N.
Published: (2008)

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

Program specialization
by: Marlet, Renaud.
Published: (2013)

Formal languages, automata and numeration systems 2 /
by: Rigo, Michel,

Palm programming for the absolute beginner /
by: Harris, Andrew, 1964-
Published: (2001)

Scratch programming for teens
by: Ford, Jerry Lee.
Published: (2008)

Structured programming in PL/I and PL/C :a problem-solving approach /
by: Abel, Peter 1932-
Published: (1985)

The formal semantics of programming languages : an introduction /
by: Winskel, Glynn
Published: (1996)

Programming pearls/
by: Bentley, Jon Louis
Published: (2000)

Programming like a pro for teens
by: Hardnett, Charles R.
Published: (2012)

Advanced programming: a practical course/
by: Barron, D. W. 1935-
Published: (1984)

Advanced programming : a practical course /
by: Barron, D. W. 1935-
Published: (1984)

A first course in computer programming using C /
by: King, Melvyn, 1945-
Published: (1995)

Cannot write session to /tmp/vufind_sessions/sess_8nklept227acpguh70g8e4bhr2