“C.S. Lewis: The Signature Classics Audio Collection: The Problem of Pain, The Screwtape Letters, The Great Divorce, Mere Christianity” se ha añadido a tu carrito. Ver carrito

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)

$1,889.79

Download Catalog

ISBN 9783540634065 Categorías APPLICATIONS OF COMPUTING, ARCHITECTURE, ARCHITECTURE, ARTIFICIAL INTELLIGENCE, COMPUTER PROGRAMMING, COMPUTER PROGRAMMING: ALGORITHMS & PROCEDURES, COMPUTING AND INFORMATION TECHNOLOGY, Discrete mathematics, LANGUAGE TEACHING & LEARNING (OTHER THAN ELT), LANGUAGE, LITERATURE AND BIOGRAPHY, MACHINE LEARNING, MATHEMATICAL FOUNDATIONS, MATHEMATICS

Información adicional

Peso	31.04 kg
ISBN	3540634061
ISBN13	9783540634065
Author	Müller-Olm, Markus
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	1997
Edition	1997
Pages	276

Todos los libros

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)

Productos relacionados

Elon Musk: Tesla, SpaceX, and the Quest for a Fantastic Future

Rising Star: The Making of Barack Obama

Nevertheless: A Memoir

Cassandra Speaks: When Women Are the Storytellers, the Human Story Changes

Sweat the Technique: Revelations on Creativity from the Lyrical Genius

Making Sense: Conversations on Consciousness, Morality, and the Future of Humanity