Á lódáil...

QR Code

Formal models in programming

Sonraí Bibleagrafaíochta
Príomhúdar:	Neuhold, E J (ed.by)
Údair Eile:	Chroust, G
Formáid:	Printed Book
Teanga:	English
Foilsithe:	Amsterdam North-Holland Publishing Company 1985
Ábhair:	Computer programming > Computer software > Computer science > Formal models in programming

Míreanna Comhchosúla

Formal discription of programming concepts.
le: Neuhold, E.J
Foilsithe: (1991)

Mathematical modelling with computers
le: Jacoby, Samuel L S
Foilsithe: (1980)

Effective structured programming
le: Ejiogu, Lem O
Foilsithe: (1983)

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

Systems programming
le: Donovan, John J
Foilsithe: (1972)

Microprogramming techniques with sample programs
le: Evans Stanley J
Foilsithe: (1979)

art of computer programming
le: Knuth, Donald E
Foilsithe: (1979)

art of computer programming
le: Knuth, Donald E
Foilsithe: (1975)

Computer programming and formal systems.
le: Braffort, P.ed
Foilsithe: (1970)

Modular programming
le: Maynard, Jeff
Foilsithe: (1972)

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

Rucursive programming techniques
le: Burge, William H
Foilsithe: (1975)

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

Mathematical foundations of programming
le: Beckman, Frank S
Foilsithe: (1980)

Principles of computer programming
le: Rajaraman, V.
Foilsithe: (1976)

Inductive logic programming
le: Muggleton, Stephen
Foilsithe: (1992)

Structured programming theory and practice
le: Linger, Richard C
Foilsithe: (1979)

structural programming approach to data.
le: Coleman, Derek
Foilsithe: (1978)

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

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

Programming for software sharing
le: Muxworthy, D T
Foilsithe: (1983)

Systematic analogue computer programming
le: Charlesworth, A S
Foilsithe: (1974)

Introduction to computers and computer programming
le: Bergman, Samuel

Programming techniques through C
le: Venkateshmurthy, M. G.
Foilsithe: (2002)

Software engineering education [proceedings]
le: Interface workshop
Foilsithe: (1976)

Enable: 2.14 Advanced topics
le: Spezzano, Charles
Foilsithe: (1990)

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

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

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

Linear programming and network models
le: Gupta, S K
Foilsithe: (1985)

guide for programmers
le: Bohl, Marilyn
Foilsithe: (1978)

Proceedings
le: Mazurkiewicz, A
Foilsithe: (1976)

Microprogramming: principles and practices
le: Husson, Samir S
Foilsithe: (1970)

programmers' CP/M hand book
le: Johnson, Laird
Foilsithe: (1983)

Software management /
Foilsithe: (1997)

Introduction to system software
le: Dhamdhere, D M
Foilsithe: (1986)

Manual: Wordstar
le: Williams, Robert E

Principles of computer programming /
le: Rajaraman, V
Foilsithe: (1976)

Introduction to computer programming /
Foilsithe: (2004)

Programming with FORTRAN 77
le: Dhaliwal, R S, et al.
Foilsithe: (1989)