“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” has been added to your cart. View cart

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

$1,889.79

Download Catalog

ISBN 9783540634065 Categories 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

Additional information

Weight	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)

Related products

In Search of a Kingdom: Francis Drake, Elizabeth I, and the Perilous Birth of the British Empire

Mozart: The Reign of Love

Moon: The Life and Death of a Rock Legend

Rising Star: The Making of Barack Obama

What Becomes a Legend Most: A Biography of Richard Avedon

All Things Possible: Setbacks and Success in Politics and Life