Most Popular Books
Series By Flemming Nielson

ML with Concurrency: Design, Analysis, Implementation, and Application (Monographs in Computer Science)
$59.29

Principles of Program Analysis
$32.99 - $84.99

Semantics With Applications: A Formal Introduction (Wiley Professional Computing)
Out of Stock

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
$49.39

Two-Level Functional Languages
$65.46 - $146.81

Formal Methods: An Appetizer
$59.52