246 37 844KB
English Pages 150 Year 1995
Report DMCA / Copyright
DOWNLOAD DJVU FILE
The objective of program analysis is to automatically determine the p- perties of a program. Tools of software developme
358 91 1MB Read more
Exploring the intersection of legal analysis and symbolic logic, this solidly written book explains the elements of cont
109 29 135MB Read more
This volume contains survey articles and original research papers, presenting the state of the art on applying the symbo
293 49 4MB Read more
382 82 2MB Read more
Wes Anderson’s Symbolic Storyworld presents a theoretical investigation of whatmakes the films of Wes Anderson distincti
149 86 17MB Read more
Symbolic analysis is an intriguing topic in VLSI designs. The analysis methods are crucial for the applications to the
113 55 11MB Read more
498 87 455KB Read more
This introduction to compilers is the direct descendant of the well-known book by Aho and Ullman, Principles of Compiler
373 9 6MB Read more
214 68 33MB Read more
This book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way. Instal
105 95 15MB Read more