Lataa...

QR-koodi

Formal models in programming

Bibliografiset tiedot
Päätekijä:	Neuhold, E J (ed.by)
Muut tekijät:	Chroust, G
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	Amsterdam North-Holland Publishing Company 1985
Aiheet:	Computer programming > Computer software > Computer science > Formal models in programming

Samankaltaisia teoksia

Formal discription of programming concepts.
Tekijä: Neuhold, E.J
Julkaistu: (1991)

Mathematical modelling with computers
Tekijä: Jacoby, Samuel L S
Julkaistu: (1980)

Effective structured programming
Tekijä: Ejiogu, Lem O
Julkaistu: (1983)

A Textbook on computer programming :With industrial and Engineering applications
Tekijä: Ramani, S.
Julkaistu: (1981)

Systems programming
Tekijä: Donovan, John J
Julkaistu: (1972)

Microprogramming techniques with sample programs
Tekijä: Evans Stanley J
Julkaistu: (1979)

art of computer programming
Tekijä: Knuth, Donald E
Julkaistu: (1979)

art of computer programming
Tekijä: Knuth, Donald E
Julkaistu: (1975)

Computer programming and formal systems.
Tekijä: Braffort, P.ed
Julkaistu: (1970)

Modular programming
Tekijä: Maynard, Jeff
Julkaistu: (1972)

Formal methods of program verification and specification
Tekijä: H K Berg, et al.
Julkaistu: (1982)

Rucursive programming techniques
Tekijä: Burge, William H
Julkaistu: (1975)

How to design programs: an introduction to programming and computing
Tekijä: Felleison, Matthias
Julkaistu: (2004)

Mathematical foundations of programming
Tekijä: Beckman, Frank S
Julkaistu: (1980)

Principles of computer programming
Tekijä: Rajaraman, V.
Julkaistu: (1976)

Inductive logic programming
Tekijä: Muggleton, Stephen
Julkaistu: (1992)

Structured programming theory and practice
Tekijä: Linger, Richard C
Julkaistu: (1979)

structural programming approach to data.
Tekijä: Coleman, Derek
Julkaistu: (1978)

Genetic programming III: darwinian invention and problem solving
Tekijä: Koza, John R
Julkaistu: (1999)

Programming methodology: A collection of articles by members of IFIP WG 2.3
Tekijä: Gries, David
Julkaistu: (1978)

Programming for software sharing
Tekijä: Muxworthy, D T
Julkaistu: (1983)

Systematic analogue computer programming
Tekijä: Charlesworth, A S
Julkaistu: (1974)

Introduction to computers and computer programming
Tekijä: Bergman, Samuel

Programming techniques through C
Tekijä: Venkateshmurthy, M. G.
Julkaistu: (2002)

Software engineering education [proceedings]
Tekijä: Interface workshop
Julkaistu: (1976)

Enable: 2.14 Advanced topics
Tekijä: Spezzano, Charles
Julkaistu: (1990)

Larch: languages and tools for formal specification
Tekijä: Guttag, John V, et al.
Julkaistu: (1993)

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

ALGOL in brief: a short practical guide to computer programming in ALGOL
Tekijä: Ractlife, J.F
Julkaistu: (1971)

Linear programming and network models
Tekijä: Gupta, S K
Julkaistu: (1985)

guide for programmers
Tekijä: Bohl, Marilyn
Julkaistu: (1978)

Proceedings
Tekijä: Mazurkiewicz, A
Julkaistu: (1976)

Microprogramming: principles and practices
Tekijä: Husson, Samir S
Julkaistu: (1970)

programmers' CP/M hand book
Tekijä: Johnson, Laird
Julkaistu: (1983)

Software management /
Julkaistu: (1997)

Introduction to system software
Tekijä: Dhamdhere, D M
Julkaistu: (1986)

Manual: Wordstar
Tekijä: Williams, Robert E

Principles of computer programming /
Tekijä: Rajaraman, V
Julkaistu: (1976)

Introduction to computer programming /
Julkaistu: (2004)

Programming with FORTRAN 77
Tekijä: Dhaliwal, R S, et al.
Julkaistu: (1989)