Llwytho...

Côd QR

Formal models in programming

Manylion Llyfryddiaeth
Prif Awdur:	Neuhold, E J (ed.by)
Awduron Eraill:	Chroust, G
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Amsterdam North-Holland Publishing Company 1985
Pynciau:	Computer programming > Computer software > Computer science > Formal models in programming

Eitemau Tebyg

Formal discription of programming concepts.
gan: Neuhold, E.J
Cyhoeddwyd: (1991)

Mathematical modelling with computers
gan: Jacoby, Samuel L S
Cyhoeddwyd: (1980)

Effective structured programming
gan: Ejiogu, Lem O
Cyhoeddwyd: (1983)

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

Systems programming
gan: Donovan, John J
Cyhoeddwyd: (1972)

Microprogramming techniques with sample programs
gan: Evans Stanley J
Cyhoeddwyd: (1979)

art of computer programming
gan: Knuth, Donald E
Cyhoeddwyd: (1979)

art of computer programming
gan: Knuth, Donald E
Cyhoeddwyd: (1975)

Computer programming and formal systems.
gan: Braffort, P.ed
Cyhoeddwyd: (1970)

Modular programming
gan: Maynard, Jeff
Cyhoeddwyd: (1972)

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

Rucursive programming techniques
gan: Burge, William H
Cyhoeddwyd: (1975)

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

Mathematical foundations of programming
gan: Beckman, Frank S
Cyhoeddwyd: (1980)

Principles of computer programming
gan: Rajaraman, V.
Cyhoeddwyd: (1976)

Inductive logic programming
gan: Muggleton, Stephen
Cyhoeddwyd: (1992)

Structured programming theory and practice
gan: Linger, Richard C
Cyhoeddwyd: (1979)

structural programming approach to data.
gan: Coleman, Derek
Cyhoeddwyd: (1978)

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

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

Programming for software sharing
gan: Muxworthy, D T
Cyhoeddwyd: (1983)

Systematic analogue computer programming
gan: Charlesworth, A S
Cyhoeddwyd: (1974)

Introduction to computers and computer programming
gan: Bergman, Samuel

Programming techniques through C
gan: Venkateshmurthy, M. G.
Cyhoeddwyd: (2002)

Software engineering education [proceedings]
gan: Interface workshop
Cyhoeddwyd: (1976)

Enable: 2.14 Advanced topics
gan: Spezzano, Charles
Cyhoeddwyd: (1990)

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

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

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

Linear programming and network models
gan: Gupta, S K
Cyhoeddwyd: (1985)

guide for programmers
gan: Bohl, Marilyn
Cyhoeddwyd: (1978)

Proceedings
gan: Mazurkiewicz, A
Cyhoeddwyd: (1976)

Microprogramming: principles and practices
gan: Husson, Samir S
Cyhoeddwyd: (1970)

programmers' CP/M hand book
gan: Johnson, Laird
Cyhoeddwyd: (1983)

Software management /
Cyhoeddwyd: (1997)

Introduction to system software
gan: Dhamdhere, D M
Cyhoeddwyd: (1986)

Manual: Wordstar
gan: Williams, Robert E

Principles of computer programming /
gan: Rajaraman, V
Cyhoeddwyd: (1976)

Introduction to computer programming /
Cyhoeddwyd: (2004)

Programming with FORTRAN 77
gan: Dhaliwal, R S, et al.
Cyhoeddwyd: (1989)