Texts in Computer Science

Name: Late Knight Books and Services, LLC Texts in Computer Science - Texts in Computer Science
Brand: Late Knight Books and Services, LLC
SKU: 47662043431052
Price: 49.49 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$49.49$54.99

10% off

Quantity

Color

Black

Quantity

Description

Texts in Computer Science
Stirling, Colin
Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suite...

Delivery & Returns

Returns accepted within 30 days

Exclusions may apply. See full policy

Late Knight Books and Services, LLC

Product description loading

This is the product description text that will appear here.

10% off

Late Knight Books and Services, LLC