载入...

QR Code

Formal models in programming

书目详细资料
主要作者:	Neuhold, E J (ed.by)
其他作者:	Chroust, G
格式:	Printed Book
语言:	English
出版:	Amsterdam North-Holland Publishing Company 1985
主题:	Computer programming > Computer software > Computer science > Formal models in programming

相似书籍

Formal discription of programming concepts.
由: Neuhold, E.J
出版: (1991)

Mathematical modelling with computers
由: Jacoby, Samuel L S
出版: (1980)

Effective structured programming
由: Ejiogu, Lem O
出版: (1983)

A Textbook on computer programming :With industrial and Engineering applications
由: Ramani, S.
出版: (1981)

Systems programming
由: Donovan, John J
出版: (1972)

Microprogramming techniques with sample programs
由: Evans Stanley J
出版: (1979)

art of computer programming
由: Knuth, Donald E
出版: (1979)

art of computer programming
由: Knuth, Donald E
出版: (1975)

Computer programming and formal systems.
由: Braffort, P.ed
出版: (1970)

Modular programming
由: Maynard, Jeff
出版: (1972)

Formal methods of program verification and specification
由: H K Berg, et al.
出版: (1982)

Rucursive programming techniques
由: Burge, William H
出版: (1975)

How to design programs: an introduction to programming and computing
由: Felleison, Matthias
出版: (2004)

Mathematical foundations of programming
由: Beckman, Frank S
出版: (1980)

Principles of computer programming
由: Rajaraman, V.
出版: (1976)

Inductive logic programming
由: Muggleton, Stephen
出版: (1992)

Structured programming theory and practice
由: Linger, Richard C
出版: (1979)

structural programming approach to data.
由: Coleman, Derek
出版: (1978)

Genetic programming III: darwinian invention and problem solving
由: Koza, John R
出版: (1999)

Programming methodology: A collection of articles by members of IFIP WG 2.3
由: Gries, David
出版: (1978)

Programming for software sharing
由: Muxworthy, D T
出版: (1983)

Systematic analogue computer programming
由: Charlesworth, A S
出版: (1974)

Introduction to computers and computer programming
由: Bergman, Samuel

Programming techniques through C
由: Venkateshmurthy, M. G.
出版: (2002)

Software engineering education [proceedings]
由: Interface workshop
出版: (1976)

Enable: 2.14 Advanced topics
由: Spezzano, Charles
出版: (1990)

Larch: languages and tools for formal specification
由: Guttag, John V, et al.
出版: (1993)

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

ALGOL in brief: a short practical guide to computer programming in ALGOL
由: Ractlife, J.F
出版: (1971)

Linear programming and network models
由: Gupta, S K
出版: (1985)

guide for programmers
由: Bohl, Marilyn
出版: (1978)

Proceedings
由: Mazurkiewicz, A
出版: (1976)

Microprogramming: principles and practices
由: Husson, Samir S
出版: (1970)

programmers' CP/M hand book
由: Johnson, Laird
出版: (1983)

Software management /
出版: (1997)

Introduction to system software
由: Dhamdhere, D M
出版: (1986)

Manual: Wordstar
由: Williams, Robert E

Principles of computer programming /
由: Rajaraman, V
出版: (1976)

Introduction to computer programming /
出版: (2004)

Programming with FORTRAN 77
由: Dhaliwal, R S, et al.
出版: (1989)