Compiler Specification and Verification : Lecture Notes in Computer Science - W. Polak

Compiler Specification and Verification

By: W. Polak

Paperback | 1 October 1981

At a Glance

Paperback


$40.00

or 4 interest-free payments of $10.00 with

 or 

Ships in 7 to 10 business days

Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.

More in Computer Science

Genesis : Artificial Intelligence, Hope, and the Human Spirit - Eric Schmidt
Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
Cybersecurity for Internet of Health Things : 1st Edition - Mohiuddin  Ahmed
Dr. Bot : Why Human Doctors Fail Us and How AI Can Save Lives - Charlotte Blease
AI Engineering : Building Applications with Foundation Models - Chip Huyen
Windows 11 For Dummies, 2nd Edition : Windows 11 For Dummies - Alan Simpson
Practical Signals Theory with MATLAB Applications - Richard J. Tervo

RRP $223.95

$165.75

26%
OFF
Making Synthwave : How an Online Music Community Invented a Genre - Jess Blaise Ward
Making Synthwave : How an Online Music Community Invented a Genre - Jess Blaise Ward