Nalaganje...

QR koda

Formal models in programming

Bibliografske podrobnosti
Glavni avtor:	Neuhold, E J (ed.by)
Drugi avtorji:	Chroust, G
Format:	Printed Book
Jezik:	English
Izdano:	Amsterdam North-Holland Publishing Company 1985
Teme:	Computer programming > Computer software > Computer science > Formal models in programming

Podobne knjige/članki

Formal discription of programming concepts.
od: Neuhold, E.J
Izdano: (1991)

Mathematical modelling with computers
od: Jacoby, Samuel L S
Izdano: (1980)

Effective structured programming
od: Ejiogu, Lem O
Izdano: (1983)

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

Systems programming
od: Donovan, John J
Izdano: (1972)

Microprogramming techniques with sample programs
od: Evans Stanley J
Izdano: (1979)

art of computer programming
od: Knuth, Donald E
Izdano: (1979)

art of computer programming
od: Knuth, Donald E
Izdano: (1975)

Computer programming and formal systems.
od: Braffort, P.ed
Izdano: (1970)

Modular programming
od: Maynard, Jeff
Izdano: (1972)

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

Rucursive programming techniques
od: Burge, William H
Izdano: (1975)

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

Mathematical foundations of programming
od: Beckman, Frank S
Izdano: (1980)

Principles of computer programming
od: Rajaraman, V.
Izdano: (1976)

Inductive logic programming
od: Muggleton, Stephen
Izdano: (1992)

Structured programming theory and practice
od: Linger, Richard C
Izdano: (1979)

structural programming approach to data.
od: Coleman, Derek
Izdano: (1978)

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

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

Programming for software sharing
od: Muxworthy, D T
Izdano: (1983)

Systematic analogue computer programming
od: Charlesworth, A S
Izdano: (1974)

Introduction to computers and computer programming
od: Bergman, Samuel

Programming techniques through C
od: Venkateshmurthy, M. G.
Izdano: (2002)

Software engineering education [proceedings]
od: Interface workshop
Izdano: (1976)

Enable: 2.14 Advanced topics
od: Spezzano, Charles
Izdano: (1990)

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

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

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

Linear programming and network models
od: Gupta, S K
Izdano: (1985)

guide for programmers
od: Bohl, Marilyn
Izdano: (1978)

Proceedings
od: Mazurkiewicz, A
Izdano: (1976)

Microprogramming: principles and practices
od: Husson, Samir S
Izdano: (1970)

programmers' CP/M hand book
od: Johnson, Laird
Izdano: (1983)

Software management /
Izdano: (1997)

Introduction to system software
od: Dhamdhere, D M
Izdano: (1986)

Manual: Wordstar
od: Williams, Robert E

Principles of computer programming /
od: Rajaraman, V
Izdano: (1976)

Introduction to computer programming /
Izdano: (2004)

Programming with FORTRAN 77
od: Dhaliwal, R S, et al.
Izdano: (1989)