טוען...

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)