Yüklüyor......

QR Kod

Formal models in programming

Detaylı Bibliyografya
Yazar:	Neuhold, E J (ed.by)
Diğer Yazarlar:	Chroust, G
Materyal Türü:	Printed Book
Dil:	English
Baskı/Yayın Bilgisi:	Amsterdam North-Holland Publishing Company 1985
Konular:	Computer programming > Computer software > Computer science > Formal models in programming

Benzer Materyaller

Yüklüyor......

Formal discription of programming concepts.
Yazar:: Neuhold, E.J
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

Mathematical modelling with computers
Yazar:: Jacoby, Samuel L S
Baskı/Yayın Bilgisi: (1980)

Yüklüyor......

Effective structured programming
Yazar:: Ejiogu, Lem O
Baskı/Yayın Bilgisi: (1983)

Yüklüyor......

A Textbook on computer programming :With industrial and Engineering applications
Yazar:: Ramani, S.
Baskı/Yayın Bilgisi: (1981)

Yüklüyor......

Systems programming
Yazar:: Donovan, John J
Baskı/Yayın Bilgisi: (1972)

Yüklüyor......

Microprogramming techniques with sample programs
Yazar:: Evans Stanley J
Baskı/Yayın Bilgisi: (1979)

Yüklüyor......

art of computer programming
Yazar:: Knuth, Donald E
Baskı/Yayın Bilgisi: (1979)

Yüklüyor......

art of computer programming
Yazar:: Knuth, Donald E
Baskı/Yayın Bilgisi: (1975)

Yüklüyor......

Computer programming and formal systems.
Yazar:: Braffort, P.ed
Baskı/Yayın Bilgisi: (1970)

Yüklüyor......

Modular programming
Yazar:: Maynard, Jeff
Baskı/Yayın Bilgisi: (1972)

Yüklüyor......

Formal methods of program verification and specification
Yazar:: H K Berg, ve diğerleri
Baskı/Yayın Bilgisi: (1982)

Yüklüyor......

Rucursive programming techniques
Yazar:: Burge, William H
Baskı/Yayın Bilgisi: (1975)

Yüklüyor......

How to design programs: an introduction to programming and computing
Yazar:: Felleison, Matthias
Baskı/Yayın Bilgisi: (2004)

Yüklüyor......

Mathematical foundations of programming
Yazar:: Beckman, Frank S
Baskı/Yayın Bilgisi: (1980)

Yüklüyor......

Principles of computer programming
Yazar:: Rajaraman, V.
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Inductive logic programming
Yazar:: Muggleton, Stephen
Baskı/Yayın Bilgisi: (1992)

Yüklüyor......

Structured programming theory and practice
Yazar:: Linger, Richard C
Baskı/Yayın Bilgisi: (1979)

Yüklüyor......

structural programming approach to data.
Yazar:: Coleman, Derek
Baskı/Yayın Bilgisi: (1978)

Yüklüyor......

Genetic programming III: darwinian invention and problem solving
Yazar:: Koza, John R
Baskı/Yayın Bilgisi: (1999)

Yüklüyor......

Programming methodology: A collection of articles by members of IFIP WG 2.3
Yazar:: Gries, David
Baskı/Yayın Bilgisi: (1978)

Yüklüyor......

Programming for software sharing
Yazar:: Muxworthy, D T
Baskı/Yayın Bilgisi: (1983)

Yüklüyor......

Systematic analogue computer programming
Yazar:: Charlesworth, A S
Baskı/Yayın Bilgisi: (1974)

Yüklüyor......

Introduction to computers and computer programming
Yazar:: Bergman, Samuel

Yüklüyor......

Programming techniques through C
Yazar:: Venkateshmurthy, M. G.
Baskı/Yayın Bilgisi: (2002)

Yüklüyor......

Software engineering education [proceedings]
Yazar:: Interface workshop
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Enable: 2.14 Advanced topics
Yazar:: Spezzano, Charles
Baskı/Yayın Bilgisi: (1990)

Yüklüyor......

Larch: languages and tools for formal specification
Yazar:: Guttag, John V, ve diğerleri
Baskı/Yayın Bilgisi: (1993)

Yüklüyor......

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

Yüklüyor......

ALGOL in brief: a short practical guide to computer programming in ALGOL
Yazar:: Ractlife, J.F
Baskı/Yayın Bilgisi: (1971)

Yüklüyor......

Linear programming and network models
Yazar:: Gupta, S K
Baskı/Yayın Bilgisi: (1985)

Yüklüyor......

guide for programmers
Yazar:: Bohl, Marilyn
Baskı/Yayın Bilgisi: (1978)

Yüklüyor......

Proceedings
Yazar:: Mazurkiewicz, A
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Microprogramming: principles and practices
Yazar:: Husson, Samir S
Baskı/Yayın Bilgisi: (1970)

Yüklüyor......

programmers' CP/M hand book
Yazar:: Johnson, Laird
Baskı/Yayın Bilgisi: (1983)

Yüklüyor......

Software management /
Baskı/Yayın Bilgisi: (1997)

Yüklüyor......

Introduction to system software
Yazar:: Dhamdhere, D M
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

Manual: Wordstar
Yazar:: Williams, Robert E

Yüklüyor......

Principles of computer programming /
Yazar:: Rajaraman, V
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Introduction to computer programming /
Baskı/Yayın Bilgisi: (2004)

Yüklüyor......

Programming with FORTRAN 77
Yazar:: Dhaliwal, R S, ve diğerleri
Baskı/Yayın Bilgisi: (1989)