Loading...

QR Code

Formal models in programming

Bibliografiske detaljer
Hovedforfatter:	Neuhold, E J (ed.by)
Andre forfattere:	Chroust, G
Format:	Printed Book
Sprog:	English
Udgivet:	Amsterdam North-Holland Publishing Company 1985
Fag:	Computer programming > Computer software > Computer science > Formal models in programming

Lignende værker

Formal discription of programming concepts.
af: Neuhold, E.J
Udgivet: (1991)

Mathematical modelling with computers
af: Jacoby, Samuel L S
Udgivet: (1980)

Effective structured programming
af: Ejiogu, Lem O
Udgivet: (1983)

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

Systems programming
af: Donovan, John J
Udgivet: (1972)

Microprogramming techniques with sample programs
af: Evans Stanley J
Udgivet: (1979)

art of computer programming
af: Knuth, Donald E
Udgivet: (1979)

art of computer programming
af: Knuth, Donald E
Udgivet: (1975)

Computer programming and formal systems.
af: Braffort, P.ed
Udgivet: (1970)

Modular programming
af: Maynard, Jeff
Udgivet: (1972)

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

Rucursive programming techniques
af: Burge, William H
Udgivet: (1975)

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

Mathematical foundations of programming
af: Beckman, Frank S
Udgivet: (1980)

Principles of computer programming
af: Rajaraman, V.
Udgivet: (1976)

Inductive logic programming
af: Muggleton, Stephen
Udgivet: (1992)

Structured programming theory and practice
af: Linger, Richard C
Udgivet: (1979)

structural programming approach to data.
af: Coleman, Derek
Udgivet: (1978)

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

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

Programming for software sharing
af: Muxworthy, D T
Udgivet: (1983)

Systematic analogue computer programming
af: Charlesworth, A S
Udgivet: (1974)

Introduction to computers and computer programming
af: Bergman, Samuel

Programming techniques through C
af: Venkateshmurthy, M. G.
Udgivet: (2002)

Software engineering education [proceedings]
af: Interface workshop
Udgivet: (1976)

Enable: 2.14 Advanced topics
af: Spezzano, Charles
Udgivet: (1990)

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

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

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

Linear programming and network models
af: Gupta, S K
Udgivet: (1985)

guide for programmers
af: Bohl, Marilyn
Udgivet: (1978)

Proceedings
af: Mazurkiewicz, A
Udgivet: (1976)

Microprogramming: principles and practices
af: Husson, Samir S
Udgivet: (1970)

programmers' CP/M hand book
af: Johnson, Laird
Udgivet: (1983)

Software management /
Udgivet: (1997)

Introduction to system software
af: Dhamdhere, D M
Udgivet: (1986)

Manual: Wordstar
af: Williams, Robert E

Principles of computer programming /
af: Rajaraman, V
Udgivet: (1976)

Introduction to computer programming /
Udgivet: (2004)

Programming with FORTRAN 77
af: Dhaliwal, R S, et al.
Udgivet: (1989)