Carregant...

Codi QR

Formal models in programming

Dades bibliogràfiques
Autor principal:	Neuhold, E J (ed.by)
Altres autors:	Chroust, G
Format:	Printed Book
Idioma:	English
Publicat:	Amsterdam North-Holland Publishing Company 1985
Matèries:	Computer programming > Computer software > Computer science > Formal models in programming

Ítems similars

Formal discription of programming concepts.
per: Neuhold, E.J
Publicat: (1991)

Mathematical modelling with computers
per: Jacoby, Samuel L S
Publicat: (1980)

Effective structured programming
per: Ejiogu, Lem O
Publicat: (1983)

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

Systems programming
per: Donovan, John J
Publicat: (1972)

Microprogramming techniques with sample programs
per: Evans Stanley J
Publicat: (1979)

art of computer programming
per: Knuth, Donald E
Publicat: (1979)

art of computer programming
per: Knuth, Donald E
Publicat: (1975)

Computer programming and formal systems.
per: Braffort, P.ed
Publicat: (1970)

Modular programming
per: Maynard, Jeff
Publicat: (1972)

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

Rucursive programming techniques
per: Burge, William H
Publicat: (1975)

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

Mathematical foundations of programming
per: Beckman, Frank S
Publicat: (1980)

Principles of computer programming
per: Rajaraman, V.
Publicat: (1976)

Inductive logic programming
per: Muggleton, Stephen
Publicat: (1992)

Structured programming theory and practice
per: Linger, Richard C
Publicat: (1979)

structural programming approach to data.
per: Coleman, Derek
Publicat: (1978)

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

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

Programming for software sharing
per: Muxworthy, D T
Publicat: (1983)

Systematic analogue computer programming
per: Charlesworth, A S
Publicat: (1974)

Introduction to computers and computer programming
per: Bergman, Samuel

Programming techniques through C
per: Venkateshmurthy, M. G.
Publicat: (2002)

Software engineering education [proceedings]
per: Interface workshop
Publicat: (1976)

Enable: 2.14 Advanced topics
per: Spezzano, Charles
Publicat: (1990)

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

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

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

Linear programming and network models
per: Gupta, S K
Publicat: (1985)

guide for programmers
per: Bohl, Marilyn
Publicat: (1978)

Proceedings
per: Mazurkiewicz, A
Publicat: (1976)

Microprogramming: principles and practices
per: Husson, Samir S
Publicat: (1970)

programmers' CP/M hand book
per: Johnson, Laird
Publicat: (1983)

Software management /
Publicat: (1997)

Introduction to system software
per: Dhamdhere, D M
Publicat: (1986)

Manual: Wordstar
per: Williams, Robert E

Principles of computer programming /
per: Rajaraman, V
Publicat: (1976)

Introduction to computer programming /
Publicat: (2004)

Programming with FORTRAN 77
per: Dhaliwal, R S, et al.
Publicat: (1989)