Carregando...

Código QR (código de barras bidimensional)

Formal models in programming

Detalhes bibliográficos
Autor principal:	Neuhold, E J (ed.by)
Outros Autores:	Chroust, G
Formato:	Printed Book
Idioma:	English
Publicado em:	Amsterdam North-Holland Publishing Company 1985
Assuntos:	Computer programming > Computer software > Computer science > Formal models in programming

Registros relacionados

Formal discription of programming concepts.
por: Neuhold, E.J
Publicado em: (1991)

Mathematical modelling with computers
por: Jacoby, Samuel L S
Publicado em: (1980)

Effective structured programming
por: Ejiogu, Lem O
Publicado em: (1983)

A Textbook on computer programming :With industrial and Engineering applications
por: Ramani, S.
Publicado em: (1981)

Systems programming
por: Donovan, John J
Publicado em: (1972)

Microprogramming techniques with sample programs
por: Evans Stanley J
Publicado em: (1979)

art of computer programming
por: Knuth, Donald E
Publicado em: (1979)

art of computer programming
por: Knuth, Donald E
Publicado em: (1975)

Computer programming and formal systems.
por: Braffort, P.ed
Publicado em: (1970)

Modular programming
por: Maynard, Jeff
Publicado em: (1972)

Formal methods of program verification and specification
por: H K Berg, et al.
Publicado em: (1982)

Rucursive programming techniques
por: Burge, William H
Publicado em: (1975)

How to design programs: an introduction to programming and computing
por: Felleison, Matthias
Publicado em: (2004)

Mathematical foundations of programming
por: Beckman, Frank S
Publicado em: (1980)

Principles of computer programming
por: Rajaraman, V.
Publicado em: (1976)

Inductive logic programming
por: Muggleton, Stephen
Publicado em: (1992)

Structured programming theory and practice
por: Linger, Richard C
Publicado em: (1979)

structural programming approach to data.
por: Coleman, Derek
Publicado em: (1978)

Genetic programming III: darwinian invention and problem solving
por: Koza, John R
Publicado em: (1999)

Programming methodology: A collection of articles by members of IFIP WG 2.3
por: Gries, David
Publicado em: (1978)

Programming for software sharing
por: Muxworthy, D T
Publicado em: (1983)

Systematic analogue computer programming
por: Charlesworth, A S
Publicado em: (1974)

Introduction to computers and computer programming
por: Bergman, Samuel

Programming techniques through C
por: Venkateshmurthy, M. G.
Publicado em: (2002)

Software engineering education [proceedings]
por: Interface workshop
Publicado em: (1976)

Enable: 2.14 Advanced topics
por: Spezzano, Charles
Publicado em: (1990)

Larch: languages and tools for formal specification
por: Guttag, John V, et al.
Publicado em: (1993)

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

ALGOL in brief: a short practical guide to computer programming in ALGOL
por: Ractlife, J.F
Publicado em: (1971)

Linear programming and network models
por: Gupta, S K
Publicado em: (1985)

guide for programmers
por: Bohl, Marilyn
Publicado em: (1978)

Proceedings
por: Mazurkiewicz, A
Publicado em: (1976)

Microprogramming: principles and practices
por: Husson, Samir S
Publicado em: (1970)

programmers' CP/M hand book
por: Johnson, Laird
Publicado em: (1983)

Software management /
Publicado em: (1997)

Introduction to system software
por: Dhamdhere, D M
Publicado em: (1986)

Manual: Wordstar
por: Williams, Robert E

Principles of computer programming /
por: Rajaraman, V
Publicado em: (1976)

Introduction to computer programming /
Publicado em: (2004)

Programming with FORTRAN 77
por: Dhaliwal, R S, et al.
Publicado em: (1989)