Chargement en cours...

Formal models in programming

Détails bibliographiques
Auteur principal:	Neuhold, E J (ed.by)
Autres auteurs:	Chroust, G
Format:	Printed Book
Langue:	English
Publié:	Amsterdam North-Holland Publishing Company 1985
Sujets:	Computer programming > Computer software > Computer science > Formal models in programming

Documents similaires

Chargement en cours...

Formal discription of programming concepts.
par: Neuhold, E.J
Publié: (1991)

Chargement en cours...

Mathematical modelling with computers
par: Jacoby, Samuel L S
Publié: (1980)

Chargement en cours...

Effective structured programming
par: Ejiogu, Lem O
Publié: (1983)

Chargement en cours...

A Textbook on computer programming :With industrial and Engineering applications
par: Ramani, S.
Publié: (1981)

Chargement en cours...

Systems programming
par: Donovan, John J
Publié: (1972)

Chargement en cours...

Microprogramming techniques with sample programs
par: Evans Stanley J
Publié: (1979)

Chargement en cours...

art of computer programming
par: Knuth, Donald E
Publié: (1979)

Chargement en cours...

art of computer programming
par: Knuth, Donald E
Publié: (1975)

Chargement en cours...

Computer programming and formal systems.
par: Braffort, P.ed
Publié: (1970)

Chargement en cours...

Modular programming
par: Maynard, Jeff
Publié: (1972)

Chargement en cours...

Formal methods of program verification and specification
par: H K Berg, et autres
Publié: (1982)

Chargement en cours...

Rucursive programming techniques
par: Burge, William H
Publié: (1975)

Chargement en cours...

How to design programs: an introduction to programming and computing
par: Felleison, Matthias
Publié: (2004)

Chargement en cours...

Mathematical foundations of programming
par: Beckman, Frank S
Publié: (1980)

Chargement en cours...

Principles of computer programming
par: Rajaraman, V.
Publié: (1976)

Chargement en cours...

Inductive logic programming
par: Muggleton, Stephen
Publié: (1992)

Chargement en cours...

Structured programming theory and practice
par: Linger, Richard C
Publié: (1979)

Chargement en cours...

structural programming approach to data.
par: Coleman, Derek
Publié: (1978)

Chargement en cours...

Genetic programming III: darwinian invention and problem solving
par: Koza, John R
Publié: (1999)

Chargement en cours...

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

Chargement en cours...

Programming for software sharing
par: Muxworthy, D T
Publié: (1983)

Chargement en cours...

Systematic analogue computer programming
par: Charlesworth, A S
Publié: (1974)

Chargement en cours...

Introduction to computers and computer programming
par: Bergman, Samuel

Chargement en cours...

Programming techniques through C
par: Venkateshmurthy, M. G.
Publié: (2002)

Chargement en cours...

Software engineering education [proceedings]
par: Interface workshop
Publié: (1976)

Chargement en cours...

Enable: 2.14 Advanced topics
par: Spezzano, Charles
Publié: (1990)

Chargement en cours...

Larch: languages and tools for formal specification
par: Guttag, John V, et autres
Publié: (1993)

Chargement en cours...

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

Chargement en cours...

ALGOL in brief: a short practical guide to computer programming in ALGOL
par: Ractlife, J.F
Publié: (1971)

Chargement en cours...

Linear programming and network models
par: Gupta, S K
Publié: (1985)

Chargement en cours...

guide for programmers
par: Bohl, Marilyn
Publié: (1978)

Chargement en cours...

Proceedings
par: Mazurkiewicz, A
Publié: (1976)

Chargement en cours...

Microprogramming: principles and practices
par: Husson, Samir S
Publié: (1970)

Chargement en cours...

programmers' CP/M hand book
par: Johnson, Laird
Publié: (1983)

Chargement en cours...

Software management /
Publié: (1997)

Chargement en cours...

Introduction to system software
par: Dhamdhere, D M
Publié: (1986)

Chargement en cours...

Manual: Wordstar
par: Williams, Robert E

Chargement en cours...

Principles of computer programming /
par: Rajaraman, V
Publié: (1976)

Chargement en cours...

Introduction to computer programming /
Publié: (2004)

Chargement en cours...

Programming with FORTRAN 77
par: Dhaliwal, R S, et autres
Publié: (1989)