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

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

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros