Načítá se...

QR kód

Formal models in programming

Podrobná bibliografie
Hlavní autor:	Neuhold, E J (ed.by)
Další autoři:	Chroust, G
Médium:	Printed Book
Jazyk:	English
Vydáno:	Amsterdam North-Holland Publishing Company 1985
Témata:	Computer programming > Computer software > Computer science > Formal models in programming

Podobné jednotky

Načítá se...

Formal discription of programming concepts.
Autor: Neuhold, E.J
Vydáno: (1991)

Načítá se...

Mathematical modelling with computers
Autor: Jacoby, Samuel L S
Vydáno: (1980)

Načítá se...

Effective structured programming
Autor: Ejiogu, Lem O
Vydáno: (1983)

Načítá se...

A Textbook on computer programming :With industrial and Engineering applications
Autor: Ramani, S.
Vydáno: (1981)

Načítá se...

Systems programming
Autor: Donovan, John J
Vydáno: (1972)

Načítá se...

Microprogramming techniques with sample programs
Autor: Evans Stanley J
Vydáno: (1979)

Načítá se...

art of computer programming
Autor: Knuth, Donald E
Vydáno: (1979)

Načítá se...

art of computer programming
Autor: Knuth, Donald E
Vydáno: (1975)

Načítá se...

Computer programming and formal systems.
Autor: Braffort, P.ed
Vydáno: (1970)

Načítá se...

Modular programming
Autor: Maynard, Jeff
Vydáno: (1972)

Načítá se...

Formal methods of program verification and specification
Autor: H K Berg, a další
Vydáno: (1982)

Načítá se...

Rucursive programming techniques
Autor: Burge, William H
Vydáno: (1975)

Načítá se...

How to design programs: an introduction to programming and computing
Autor: Felleison, Matthias
Vydáno: (2004)

Načítá se...

Mathematical foundations of programming
Autor: Beckman, Frank S
Vydáno: (1980)

Načítá se...

Principles of computer programming
Autor: Rajaraman, V.
Vydáno: (1976)

Načítá se...

Inductive logic programming
Autor: Muggleton, Stephen
Vydáno: (1992)

Načítá se...

Structured programming theory and practice
Autor: Linger, Richard C
Vydáno: (1979)

Načítá se...

structural programming approach to data.
Autor: Coleman, Derek
Vydáno: (1978)

Načítá se...

Genetic programming III: darwinian invention and problem solving
Autor: Koza, John R
Vydáno: (1999)

Načítá se...

Programming methodology: A collection of articles by members of IFIP WG 2.3
Autor: Gries, David
Vydáno: (1978)

Načítá se...

Programming for software sharing
Autor: Muxworthy, D T
Vydáno: (1983)

Načítá se...

Systematic analogue computer programming
Autor: Charlesworth, A S
Vydáno: (1974)

Načítá se...

Introduction to computers and computer programming
Autor: Bergman, Samuel

Načítá se...

Programming techniques through C
Autor: Venkateshmurthy, M. G.
Vydáno: (2002)

Načítá se...

Software engineering education [proceedings]
Autor: Interface workshop
Vydáno: (1976)

Načítá se...

Enable: 2.14 Advanced topics
Autor: Spezzano, Charles
Vydáno: (1990)

Načítá se...

Larch: languages and tools for formal specification
Autor: Guttag, John V, a další
Vydáno: (1993)

Načítá se...

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

Načítá se...

ALGOL in brief: a short practical guide to computer programming in ALGOL
Autor: Ractlife, J.F
Vydáno: (1971)

Načítá se...

Linear programming and network models
Autor: Gupta, S K
Vydáno: (1985)

Načítá se...

guide for programmers
Autor: Bohl, Marilyn
Vydáno: (1978)

Načítá se...

Proceedings
Autor: Mazurkiewicz, A
Vydáno: (1976)

Načítá se...

Microprogramming: principles and practices
Autor: Husson, Samir S
Vydáno: (1970)

Načítá se...

programmers' CP/M hand book
Autor: Johnson, Laird
Vydáno: (1983)

Načítá se...

Software management /
Vydáno: (1997)

Načítá se...

Introduction to system software
Autor: Dhamdhere, D M
Vydáno: (1986)

Načítá se...

Manual: Wordstar
Autor: Williams, Robert E

Načítá se...

Principles of computer programming /
Autor: Rajaraman, V
Vydáno: (1976)

Načítá se...

Introduction to computer programming /
Vydáno: (2004)

Načítá se...

Programming with FORTRAN 77
Autor: Dhaliwal, R S, a další
Vydáno: (1989)