Loading...

QR Code

Formal models in programming

Bibliographic Details
Main Author:	Neuhold, E J (ed.by)
Other Authors:	Chroust, G
Format:	Printed Book
Language:	English
Published:	Amsterdam North-Holland Publishing Company 1985
Subjects:	Computer programming > Computer software > Computer science > Formal models in programming

Similar Items

Formal discription of programming concepts.
by: Neuhold, E.J
Published: (1991)

Mathematical modelling with computers
by: Jacoby, Samuel L S
Published: (1980)

Effective structured programming
by: Ejiogu, Lem O
Published: (1983)

A Textbook on computer programming :With industrial and Engineering applications
by: Ramani, S.
Published: (1981)

Systems programming
by: Donovan, John J
Published: (1972)

Microprogramming techniques with sample programs
by: Evans Stanley J
Published: (1979)

art of computer programming
by: Knuth, Donald E
Published: (1979)

art of computer programming
by: Knuth, Donald E
Published: (1975)

Computer programming and formal systems.
by: Braffort, P.ed
Published: (1970)

Modular programming
by: Maynard, Jeff
Published: (1972)

Formal methods of program verification and specification
by: H K Berg, et al.
Published: (1982)

Rucursive programming techniques
by: Burge, William H
Published: (1975)

How to design programs: an introduction to programming and computing
by: Felleison, Matthias
Published: (2004)

Mathematical foundations of programming
by: Beckman, Frank S
Published: (1980)

Principles of computer programming
by: Rajaraman, V.
Published: (1976)

Inductive logic programming
by: Muggleton, Stephen
Published: (1992)

Structured programming theory and practice
by: Linger, Richard C
Published: (1979)

structural programming approach to data.
by: Coleman, Derek
Published: (1978)

Genetic programming III: darwinian invention and problem solving
by: Koza, John R
Published: (1999)

Programming methodology: A collection of articles by members of IFIP WG 2.3
by: Gries, David
Published: (1978)

Programming for software sharing
by: Muxworthy, D T
Published: (1983)

Systematic analogue computer programming
by: Charlesworth, A S
Published: (1974)

Introduction to computers and computer programming
by: Bergman, Samuel

Programming techniques through C
by: Venkateshmurthy, M. G.
Published: (2002)

Software engineering education [proceedings]
by: Interface workshop
Published: (1976)

Enable: 2.14 Advanced topics
by: Spezzano, Charles
Published: (1990)

Larch: languages and tools for formal specification
by: Guttag, John V, et al.
Published: (1993)

Agile modelling: effective practices for extreme programming and the unified process.
by: Ambler, Scott W.

ALGOL in brief: a short practical guide to computer programming in ALGOL
by: Ractlife, J.F
Published: (1971)

Linear programming and network models
by: Gupta, S K
Published: (1985)

guide for programmers
by: Bohl, Marilyn
Published: (1978)

Proceedings
by: Mazurkiewicz, A
Published: (1976)

Microprogramming: principles and practices
by: Husson, Samir S
Published: (1970)

programmers' CP/M hand book
by: Johnson, Laird
Published: (1983)

Software management /
Published: (1997)

Introduction to system software
by: Dhamdhere, D M
Published: (1986)

Manual: Wordstar
by: Williams, Robert E

Principles of computer programming /
by: Rajaraman, V
Published: (1976)

Introduction to computer programming /
Published: (2004)

Programming with FORTRAN 77
by: Dhaliwal, R S, et al.
Published: (1989)