Program construction : calculating implementations from specifications. /

Código QR

Program construction : calculating implementations from specifications. /

Detalles Bibliográficos
Autor principal:	Backhouse, Roland
Formato:	Libro
Lenguaje:	English
Publicado:	Inglaterra : John Wiley and Sons, Inc, 2003.
Materias:	Computación Lógica matemática Programación de computadoras Composición secuencial Software Libros electrónicos

Ejemplares similares

The secret life of programs : understand computers - craft better code /
por: Steinhart, Jonathan E.
Publicado: (2019)

Programming and problem solving with C++ /
por: Dale, Nell
Publicado: (2010)

Lógica para informáticos /
Publicado: (2012)

Programming python /
por: Lutz, Mark
Publicado: (2011)

Programming Language Design Concepts. /
por: Watt, David A.
Publicado: (2004)

Computers and intractability : a guide to the theory of NP-Completeness. /
por: Garey, Michael R.
Publicado: (1979)

Python : programming in context /
por: Miller, Bradley N.
Publicado: (2009)

Computer programming using C language /
por: Ramavtar Yadav, Rajkumar
Publicado: (2020)

An Introduction to Functional Programming Through Lambda Calculus. /
por: Michaelson, Greg
Publicado: (2011)

Desarrollo de una aplicación base para el aprendizaje de la lógica proposicional /
por: Vargas-López, Javier
Publicado: (1997)

Lenguaje de programación : diseño e implementación /
por: Pratt, Terrence W.
Publicado: (1997)

Beginning Microsoft® SQL Server 2012® Programming /
por: Atkinson P.
Publicado: (2012)

Java 2 : manual de referencia. /
por: Schildt, Herbert
Publicado: (2001)

Algorithms in C : graph algorithms. Part 5 /
por: Sedgewick, Robert
Publicado: (2002)

Calidad en el desarrollo de software /
por: Pantaleo, Guillermo
Publicado: (2011)

Control automático programable, monitoreo y alarma para equipos industriales /
por: Navarro-Rojas, Oscar
Publicado: (1990)

Types and programming languages /
por: Pierce, Benjamin C.
Publicado: (2002)

OpenGL® Programming Guide : the official guide to learning OpenGL®, version 4.5 with SPIR-V /
por: Kessenich, John
Publicado: (2017)

Arduino adventures : escape from gemini station /
por: Floyd Kelly, James
Publicado: (2013)

Un sistema tutor para bachillerato de enseñanza secundaria en Matemáticas /
por: García V., María Adilia
Publicado: (1997)

Programming languages : principles and paradigms /
por: Tucker, Allen
Publicado: (2006)

El gran libro de SolidWorks /
por: Gómez González, Sergio
Publicado: (2015)

Introduction to programming using Python /
por: Liang, Y. Daniel
Publicado: (2017)

Organización y arquitectura de computadores : diseño para optimizar prestaciones /
por: Stallings, William
Publicado: (2000)

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

An introduction to Lambda Calculi for computer scientists. Volume 2 /
por: Hankin, Chris
Publicado: (2004)

The art of computer programming : fundamental algorithms. Volume 1 /
por: Knuth, Donald E.
Publicado: (1997)

Programming : principles and Practice Using C++ /
por: Stroustrup, Bjarne
Publicado: (2014)

Android apps for absolute beginners /
por: Jackson, Wallace
Publicado: (2014)

Los avances de la inteligencia artificial /
por: Garrido, Ángel
Publicado: (2020)

Lenguaje ensamblador para microcomputadoras IBM. : para principiantes y avanzados /
por: Godfrey, J. Terry
Publicado: (1991)

A survey of computational physics : introductory computational science /
por: Landau, Rubin H.
Publicado: (2011)

Serverless programming cookbook : practical solutions to building serverless applications using Java and AWS /
por: Kanikathottu, Heartin
Publicado: (2019)

IEEE Computer Architecture Letters.

FDGA prototyping verilog examples : Xilinx Spartan TM-3 Version /
por: Chu, Pong P.
Publicado: (2008)

Peer reviews in software : a practical guide /
por: Wiegers, Karl
Publicado: (2002)

The ruby programming language. /
por: Berman, Jules J.
Publicado: (2009)

Android programming for beginners : build in-depth, full-featured Android 9 Pie apps starting from zero programming experience /
por: Horton, John
Publicado: (2018)

Introducción a la programación con SCHEME /
por: Helo-Guzman, José Elias
Publicado: (2005)

Ingeniería de software : una perspectiva orientada a objetos /
por: Braude, Eric J.
Publicado: (2003)