“Runnin’ with the Devil: A Backstage Pass to the Wild Times, Loud Rock, and the Down and Dirty Truth Behind the Making of Van Halen” 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

Complete Spanish Grammar Verbs Vocabulary: 3 Books in 1 (Collins Easy Learning)

The C. S. Lewis Signature Classics: An Anthology of 8 C. S. Lewis Titles: Mere Christianity, The Screwtape Letters, Miracles, The Great Divorce, The … The Abolition of Man, and The Four Loves

Titian: His Life

She Must Be Mad: The bestselling poetry debut of 2018

C.S. Lewis: The Signature Classics Audio Collection: The Problem of Pain, The Screwtape Letters, The Great Divorce, Mere Christianity

Mozart: The Reign of Love