Laddar...

QR-kod

Formal models in programming

Bibliografiska uppgifter
Huvudupphovsman:	Neuhold, E J (ed.by)
Övriga upphovsmän:	Chroust, G
Materialtyp:	Printed Book
Språk:	English
Publicerad:	Amsterdam North-Holland Publishing Company 1985
Ämnen:	Computer programming > Computer software > Computer science > Formal models in programming

Liknande verk

Formal discription of programming concepts.
av: Neuhold, E.J
Publicerad: (1991)

Mathematical modelling with computers
av: Jacoby, Samuel L S
Publicerad: (1980)

Effective structured programming
av: Ejiogu, Lem O
Publicerad: (1983)

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

Systems programming
av: Donovan, John J
Publicerad: (1972)

Microprogramming techniques with sample programs
av: Evans Stanley J
Publicerad: (1979)

art of computer programming
av: Knuth, Donald E
Publicerad: (1979)

art of computer programming
av: Knuth, Donald E
Publicerad: (1975)

Computer programming and formal systems.
av: Braffort, P.ed
Publicerad: (1970)

Modular programming
av: Maynard, Jeff
Publicerad: (1972)

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

Rucursive programming techniques
av: Burge, William H
Publicerad: (1975)

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

Mathematical foundations of programming
av: Beckman, Frank S
Publicerad: (1980)

Principles of computer programming
av: Rajaraman, V.
Publicerad: (1976)

Inductive logic programming
av: Muggleton, Stephen
Publicerad: (1992)

Structured programming theory and practice
av: Linger, Richard C
Publicerad: (1979)

structural programming approach to data.
av: Coleman, Derek
Publicerad: (1978)

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

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

Programming for software sharing
av: Muxworthy, D T
Publicerad: (1983)

Systematic analogue computer programming
av: Charlesworth, A S
Publicerad: (1974)

Introduction to computers and computer programming
av: Bergman, Samuel

Programming techniques through C
av: Venkateshmurthy, M. G.
Publicerad: (2002)

Software engineering education [proceedings]
av: Interface workshop
Publicerad: (1976)

Enable: 2.14 Advanced topics
av: Spezzano, Charles
Publicerad: (1990)

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

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

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

Linear programming and network models
av: Gupta, S K
Publicerad: (1985)

guide for programmers
av: Bohl, Marilyn
Publicerad: (1978)

Proceedings
av: Mazurkiewicz, A
Publicerad: (1976)

Microprogramming: principles and practices
av: Husson, Samir S
Publicerad: (1970)

programmers' CP/M hand book
av: Johnson, Laird
Publicerad: (1983)

Software management /
Publicerad: (1997)

Introduction to system software
av: Dhamdhere, D M
Publicerad: (1986)

Manual: Wordstar
av: Williams, Robert E

Principles of computer programming /
av: Rajaraman, V
Publicerad: (1976)

Introduction to computer programming /
Publicerad: (2004)

Programming with FORTRAN 77
av: Dhaliwal, R S, et al.
Publicerad: (1989)