Caricamento...

Codice QR

Formal models in programming

Dettagli Bibliografici
Autore principale:	Neuhold, E J (ed.by)
Altri autori:	Chroust, G
Natura:	Printed Book
Lingua:	English
Pubblicazione:	Amsterdam North-Holland Publishing Company 1985
Soggetti:	Computer programming > Computer software > Computer science > Formal models in programming

Documenti analoghi

Formal discription of programming concepts.
di: Neuhold, E.J
Pubblicazione: (1991)

Mathematical modelling with computers
di: Jacoby, Samuel L S
Pubblicazione: (1980)

Effective structured programming
di: Ejiogu, Lem O
Pubblicazione: (1983)

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

Systems programming
di: Donovan, John J
Pubblicazione: (1972)

Microprogramming techniques with sample programs
di: Evans Stanley J
Pubblicazione: (1979)

art of computer programming
di: Knuth, Donald E
Pubblicazione: (1979)

art of computer programming
di: Knuth, Donald E
Pubblicazione: (1975)

Computer programming and formal systems.
di: Braffort, P.ed
Pubblicazione: (1970)

Modular programming
di: Maynard, Jeff
Pubblicazione: (1972)

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

Rucursive programming techniques
di: Burge, William H
Pubblicazione: (1975)

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

Mathematical foundations of programming
di: Beckman, Frank S
Pubblicazione: (1980)

Principles of computer programming
di: Rajaraman, V.
Pubblicazione: (1976)

Inductive logic programming
di: Muggleton, Stephen
Pubblicazione: (1992)

Structured programming theory and practice
di: Linger, Richard C
Pubblicazione: (1979)

structural programming approach to data.
di: Coleman, Derek
Pubblicazione: (1978)

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

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

Programming for software sharing
di: Muxworthy, D T
Pubblicazione: (1983)

Systematic analogue computer programming
di: Charlesworth, A S
Pubblicazione: (1974)

Introduction to computers and computer programming
di: Bergman, Samuel

Programming techniques through C
di: Venkateshmurthy, M. G.
Pubblicazione: (2002)

Software engineering education [proceedings]
di: Interface workshop
Pubblicazione: (1976)

Enable: 2.14 Advanced topics
di: Spezzano, Charles
Pubblicazione: (1990)

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

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

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

Linear programming and network models
di: Gupta, S K
Pubblicazione: (1985)

guide for programmers
di: Bohl, Marilyn
Pubblicazione: (1978)

Proceedings
di: Mazurkiewicz, A
Pubblicazione: (1976)

Microprogramming: principles and practices
di: Husson, Samir S
Pubblicazione: (1970)

programmers' CP/M hand book
di: Johnson, Laird
Pubblicazione: (1983)

Software management /
Pubblicazione: (1997)

Introduction to system software
di: Dhamdhere, D M
Pubblicazione: (1986)

Manual: Wordstar
di: Williams, Robert E

Principles of computer programming /
di: Rajaraman, V
Pubblicazione: (1976)

Introduction to computer programming /
Pubblicazione: (2004)

Programming with FORTRAN 77
di: Dhaliwal, R S, et al.
Pubblicazione: (1989)