“Botanical Shakespeare: An Illustrated Compendium of All the Flowers, Fruits, Herbs, Trees, Seeds, and Grasses Cited by the World’s Greatest Playwright” 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

Rising Star: The Making of Barack Obama

My War Criminal: Personal Encounters with an Architect of Genocide

Botanical Shakespeare: An Illustrated Compendium of All the Flowers, Fruits, Herbs, Trees, Seeds, and Grasses Cited by the World’s Greatest Playwright

What Becomes a Legend Most: A Biography of Richard Avedon

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

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