Saltar al contenido principal

Come join our latest LibraryThing Hunt!

EtiquetaFormal Development

Incluye: Formal Development, formal development

Obras etiquetadas

Etiquetado más a menudo | Ponderado | Recientemente popular | Publicado recientemente — Filtrar: Ninguno (editar)

Computer Exercises Instructor'S Manual por Harold Abelson (1 veces)
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics por Hartmut Ehrig (1 veces)
Algebraic Specifications in Software Engineering por Ivo Van Horebeek (1 veces)
Specification of Software Systems (Texts in Computer Science) por V.S. Alagar (1 veces)
The Specification of Computer Programs (International Computer Science Series) por Wadysaw Turski (1 veces)
Larch: Languages and Tools for Formal Specification por John Guttag (1 veces)
Mathematical Logic and Programming Languages por C.A.R. Hoare (1 veces)
Algorithmic Language and Program Development por Friedrich L. Bauer (1 veces)
Algebraic Semantics of Imperative Programs por Joseph A. Goguen (1 veces)
Formal Development of Programs and Proofs por Edsger Dijkstra (1 veces)
A Method of Programming por Edsger W. Dijkstra (1 veces)
Data Types and Data Structures (Prentice Hall International Series in Computing Science) por Johannes J. Martin (1 veces)
Abstraction and Specification in Program Development por Barbara Liskov (1 veces)
The Design of Well-Structured and Correct Programs (Monographs in Computer Science) por Suad Alagic (1 veces)
Structure and Interpretation of Computer Programs por Harold Abelson (1 veces)

Títulos Portadas

Usan esta etiqueta

Google Books Ngram Viewer

Datos de Books Ngram Viewer

Etiquetas relacionadas

Cargando...

Series relacionadas

MIT Electrical Engineering and Computer Science

Texts and Monographs in Computer Science

Foundations of Computing Series

Prentice-Hall International Series in Computer Science

EATCS Monographs in Theoretical Computer Science

Grupos de etiquetas relacionados

computer science, semantics (2)

AI, computers (1)

AI, non-fiction, programming (1)

algorithms, computer science (1)

algorithms, programming (1)

algorithms, software development (1)

algorithms, software engineering (1)

algorithms, tutorial (1)

best, non-fiction (1)

classic, math (1)

classic, math, non-fiction (1)

classic, non-fiction, science (1)

classics, computer science (1)

code, reading (1)

computer science, engineering (1)

computer science, math (1)

computer science, programming (1)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Este sitio utiliza cookies para ofrecer nuestros servicios, mejorar el rendimiento, análisis y (si no estás registrado) publicidad. Al usar LibraryThing reconoces que has leído y comprendido nuestros términos de servicio y política de privacidad. El uso del sitio y de los servicios está sujeto a estas políticas y términos.