Compiler Specification and Verification (Lecture Notes in Computer Science)
About four years ago David Luckham hinted to me the possibility of verifying
a "real" compiler. At that time the idea seemed unrealistic, even absurd. After
looking closer at the problem and getting more familiar with the possibilities of
the Stanford verifier a verified compiler appeared not so impossible after all. In...
Java™ Application Development on Linux®
Readers learn how to:
Use development tools available on Linux, such as the GNU Compiler for Java (gcj), Ant, the NetBeans IDE, IBM's Eclipse Java IDE, JUnit, and SunONE Studio
Develop business logic layers using Java DataBase...
Microsoft Visual Basic 2008: Complete Concepts and Techniques (Shelly Cashman)
The Shelly Cashman Series® offers the finest textbooks in computer education. This
Microsoft Visual Basic 2008 book utilizes an innovative step-by-step pedagogy, which
integrates demonstrations of professional-quality programs with in-depth discussions
of programming concepts and techniques and opportunities for hands-on practice...
Compiling Techniques The name compiler has been given to a computer program which will accept as data a program in a problem-oriented language, such as Algol or Fortran, and produce as output a computer-oriented code which, after possibly some further processing by an assembler or loader, will be capable of being obeyed by a computer and produce results equivalent to... SD Card Projects Using the PIC Microcontroller
PIC Microcontrollers are a favorite in industry and with hobbyists. These microcontrollers are versatile, simple, and low cost making them perfect for many different applications. The 8-bit PIC is widely used in consumer electronic goods, office automation, and personal projects. Author, Dogan Ibrahim, author of several PIC books has now...
|Result Page: 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 |