Đang tải...

Mã QR

Formal models in programming

Chi tiết về thư mục
Tác giả chính:	Neuhold, E J (ed.by)
Tác giả khác:	Chroust, G
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	Amsterdam North-Holland Publishing Company 1985
Những chủ đề:	Computer programming > Computer software > Computer science > Formal models in programming

Những quyển sách tương tự

Formal discription of programming concepts.
Bằng: Neuhold, E.J
Được phát hành: (1991)

Mathematical modelling with computers
Bằng: Jacoby, Samuel L S
Được phát hành: (1980)

Effective structured programming
Bằng: Ejiogu, Lem O
Được phát hành: (1983)

A Textbook on computer programming :With industrial and Engineering applications
Bằng: Ramani, S.
Được phát hành: (1981)

Systems programming
Bằng: Donovan, John J
Được phát hành: (1972)

Microprogramming techniques with sample programs
Bằng: Evans Stanley J
Được phát hành: (1979)

art of computer programming
Bằng: Knuth, Donald E
Được phát hành: (1979)

art of computer programming
Bằng: Knuth, Donald E
Được phát hành: (1975)

Computer programming and formal systems.
Bằng: Braffort, P.ed
Được phát hành: (1970)

Modular programming
Bằng: Maynard, Jeff
Được phát hành: (1972)

Formal methods of program verification and specification
Bằng: H K Berg, et al.
Được phát hành: (1982)

Rucursive programming techniques
Bằng: Burge, William H
Được phát hành: (1975)

How to design programs: an introduction to programming and computing
Bằng: Felleison, Matthias
Được phát hành: (2004)

Mathematical foundations of programming
Bằng: Beckman, Frank S
Được phát hành: (1980)

Principles of computer programming
Bằng: Rajaraman, V.
Được phát hành: (1976)

Inductive logic programming
Bằng: Muggleton, Stephen
Được phát hành: (1992)

Structured programming theory and practice
Bằng: Linger, Richard C
Được phát hành: (1979)

structural programming approach to data.
Bằng: Coleman, Derek
Được phát hành: (1978)

Genetic programming III: darwinian invention and problem solving
Bằng: Koza, John R
Được phát hành: (1999)

Programming methodology: A collection of articles by members of IFIP WG 2.3
Bằng: Gries, David
Được phát hành: (1978)

Programming for software sharing
Bằng: Muxworthy, D T
Được phát hành: (1983)

Systematic analogue computer programming
Bằng: Charlesworth, A S
Được phát hành: (1974)

Introduction to computers and computer programming
Bằng: Bergman, Samuel

Programming techniques through C
Bằng: Venkateshmurthy, M. G.
Được phát hành: (2002)

Software engineering education [proceedings]
Bằng: Interface workshop
Được phát hành: (1976)

Enable: 2.14 Advanced topics
Bằng: Spezzano, Charles
Được phát hành: (1990)

Larch: languages and tools for formal specification
Bằng: Guttag, John V, et al.
Được phát hành: (1993)

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

ALGOL in brief: a short practical guide to computer programming in ALGOL
Bằng: Ractlife, J.F
Được phát hành: (1971)

Linear programming and network models
Bằng: Gupta, S K
Được phát hành: (1985)

guide for programmers
Bằng: Bohl, Marilyn
Được phát hành: (1978)

Proceedings
Bằng: Mazurkiewicz, A
Được phát hành: (1976)

Microprogramming: principles and practices
Bằng: Husson, Samir S
Được phát hành: (1970)

programmers' CP/M hand book
Bằng: Johnson, Laird
Được phát hành: (1983)

Software management /
Được phát hành: (1997)

Introduction to system software
Bằng: Dhamdhere, D M
Được phát hành: (1986)

Manual: Wordstar
Bằng: Williams, Robert E

Principles of computer programming /
Bằng: Rajaraman, V
Được phát hành: (1976)

Introduction to computer programming /
Được phát hành: (2004)

Programming with FORTRAN 77
Bằng: Dhaliwal, R S, et al.
Được phát hành: (1989)