Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
By Brand: CRC Press
ean: 9780849328800, isbn: 0849328802,
Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software...
By Brand: Birkhäuser
sku: 9780817647049, mpn: 26030621, ean: 9780817647049, isbn: 081764704X,
Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet fast, is a very difficult task. As a result, floating-point arithmetic is ...
By Dexter Kozen
mpn: 1, ean: 9783540223801, isbn: 3540223800,
This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrably...
sku: 9780387255385, ean: 9780156060899, isbn: 0387255389,
Offers users the first resource guide that combines both the methodology and basics of SystemVerilog Addresses how all these pieces fit together and how they should be used to verify complex chips rapidly and thoroughly. Unique in its broad covera...
By Dick Grune
mpn: 21955059, ean: 9780387202488, isbn: 038720248X,
This second edition of Grune and Jacobs’ brilliant work presents new developments and discoveries that have been made in the field. Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and...