Imagen de Portada

Reasoned programming /

Guardado en:

Otros Autores:	Broda, Krysia, 1949-
Formato:	Libro
Idioma:	English
Publicado:	New York : Prentice Hall, 1994.
Series:	Prentice-Hall international series in computer science
Materias:	Computer programming. Software engineering.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Program evolution : processes of software change /
Publicado: (1985)

Programming with POSIX threads /
por: Butenhof, David R., 1956-
Publicado: (1997)

Pattern languages of program design /
Publicado: (1995)

Guide to Assembly Language Programming in Linux
por: Dandamudi, Sivarama P.
Publicado: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
por: Baader, Franz.
Publicado: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
por: Dershowitz, Nachum.
Publicado: (2007)

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings /
por: Hermann, Miki.
Publicado: (2006)

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
por: Sutcliffe, Geoff.
Publicado: (2005)

Object-Oriented Programming and Java
por: Poo, Danny.
Publicado: (2007)

Object-oriented requirements analysis and logical design : a software engineering approach /
por: Firesmith, Donald G., 1952-
Publicado: (1993)

Software engineering concepts /
por: Fairley, R. E. 1937-
Publicado: (1985)

Interpretación del modelo de madurez de capacidades (CMM) para pequeñas industrias de software Francisco Javier Álvarez Rodríguez ... [et al.].
Publicado: (2008)

Multimedia Introduction to Programming Using Java
por: Gries, David.
Publicado: (2005)

Automated reasoning : introduction and applications /
Publicado: (1984)

Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14 21, 2004, Revised Lectures /
por: Vene, Varmo.
Publicado: (2005)

Software engineering for Internet applications /
por: Andersson, Eve Astrid.
Publicado: (2006)

Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /
por: Horváth, Zoltán.
Publicado: (2006)

The automation of reasoning : an experimenter's notebook with OTTER tutorial /
por: Wos, Larry.
Publicado: (1996)

Automatic verification of sequential infinite-state processes /
por: Burkart, Olaf.
Publicado: (1997)

The RAISE development method /
Publicado: (1995)

Specification of software systems /
por: Alagar, Vangalur S., 1940-
Publicado: (2011)

Algebra of programming /
por: Bird, Richard, 1943-
Publicado: (1997)

Introduction to Programming with Fortran
por: Chivers, Ian D.
Publicado: (2006)

Programming pearls /
por: Bentley, Jon Louis.
Publicado: (1986)

The science of programming /
por: Gries, David, 1939-
Publicado: (1981)

Structure and interpretation of computer programs /
por: Abelson, Harold.
Publicado: (1996)

Semantics of sequential and parallel programs /
por: Best, Eike, 1951-
Publicado: (1996)

Scheme and the art of programming /
por: Springer, George, 1924-
Publicado: (1989)

Programming language concepts and paradigms /
por: Watt, David A.
Publicado: (1990)

Java game programming for dummies /
por: Holder, Wayne.
Publicado: (1998)

Structure and Interpretation of Computer Programs /
por: Abelson, Harold.
Publicado: (1985)

Component software : beyond object-oriented programming /
por: Szyperski, Clemens.
Publicado: (1997)

Object-oriented and classical software engineering /
por: Schach, Stephen R.
Publicado: (2005)

Programming classics : implementing the world's best algorithms /
por: Oliver, Ian, 1940-
Publicado: (1993)

The art of computer programming /
por: Knuth, Donald Ervin, 1938-
Publicado: (1997)

Computer organization and programming /
por: Gear, C. William 1935-
Publicado: (1980)

Verification of sequential and concurrent programs /
por: Apt, Krzysztof R., 1949-
Publicado: (1997)

A discipline of programming /
por: Dijkstra, Edsger Wybe.
Publicado: (1976)

A discipline of programming /
por: Dijkstra, Edsger Wybe.
Publicado: (1976)

BRIEF for DOS and OS/2
Publicado: (1992)