تحميل...

QR رمز

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, وآخرون
منشور في: (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, وآخرون
منشور في: (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, وآخرون
منشور في: (1989)