Skip to content
Scan a barcode
Scan
Hardcover Semantics Engineering with PLT Redex Book

ISBN: 0262062755

ISBN13: 9780262062756

Semantics Engineering with PLT Redex

Select Format

Select Condition ThriftBooks Help Icon

Recommended

Format: Hardcover

Condition: Very Good

$11.49
Save $43.51!
List Price $55.00
Almost Gone, Only 1 Left!

Book Overview

The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.

This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed...

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured