Lanean...

QR Kodea

Formal models in programming

Xehetasun bibliografikoak
Egile nagusia:	Neuhold, E J (ed.by)
Beste egile batzuk:	Chroust, G
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Amsterdam North-Holland Publishing Company 1985
Gaiak:	Computer programming > Computer software > Computer science > Formal models in programming

Antzeko izenburuak

Formal discription of programming concepts.
nork: Neuhold, E.J
Argitaratua: (1991)

Mathematical modelling with computers
nork: Jacoby, Samuel L S
Argitaratua: (1980)

Effective structured programming
nork: Ejiogu, Lem O
Argitaratua: (1983)

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

Systems programming
nork: Donovan, John J
Argitaratua: (1972)

Microprogramming techniques with sample programs
nork: Evans Stanley J
Argitaratua: (1979)

art of computer programming
nork: Knuth, Donald E
Argitaratua: (1979)

art of computer programming
nork: Knuth, Donald E
Argitaratua: (1975)

Computer programming and formal systems.
nork: Braffort, P.ed
Argitaratua: (1970)

Modular programming
nork: Maynard, Jeff
Argitaratua: (1972)

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

Rucursive programming techniques
nork: Burge, William H
Argitaratua: (1975)

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

Mathematical foundations of programming
nork: Beckman, Frank S
Argitaratua: (1980)

Principles of computer programming
nork: Rajaraman, V.
Argitaratua: (1976)

Inductive logic programming
nork: Muggleton, Stephen
Argitaratua: (1992)

Structured programming theory and practice
nork: Linger, Richard C
Argitaratua: (1979)

structural programming approach to data.
nork: Coleman, Derek
Argitaratua: (1978)

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

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

Programming for software sharing
nork: Muxworthy, D T
Argitaratua: (1983)

Systematic analogue computer programming
nork: Charlesworth, A S
Argitaratua: (1974)

Introduction to computers and computer programming
nork: Bergman, Samuel

Programming techniques through C
nork: Venkateshmurthy, M. G.
Argitaratua: (2002)

Software engineering education [proceedings]
nork: Interface workshop
Argitaratua: (1976)

Enable: 2.14 Advanced topics
nork: Spezzano, Charles
Argitaratua: (1990)

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

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

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

Linear programming and network models
nork: Gupta, S K
Argitaratua: (1985)

guide for programmers
nork: Bohl, Marilyn
Argitaratua: (1978)

Proceedings
nork: Mazurkiewicz, A
Argitaratua: (1976)

Microprogramming: principles and practices
nork: Husson, Samir S
Argitaratua: (1970)

programmers' CP/M hand book
nork: Johnson, Laird
Argitaratua: (1983)

Software management /
Argitaratua: (1997)

Introduction to system software
nork: Dhamdhere, D M
Argitaratua: (1986)

Manual: Wordstar
nork: Williams, Robert E

Principles of computer programming /
nork: Rajaraman, V
Argitaratua: (1976)

Introduction to computer programming /
Argitaratua: (2004)

Programming with FORTRAN 77
nork: Dhaliwal, R S, et al.
Argitaratua: (1989)