Formal Methods in Computer Science

eBayNew

—

1.5% Cash Back

$99.39

eCampusNew · updated 1 hour ago

—

4% Cash Back

$106.55

eBayUsed

—

1.5% Cash Back

$125.57

Rakuten KoboNew · updated 12 days ago

—

0.5% Cash Back

$125.99

Product Description

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including

Set Price Drop

Get an alert as soon as it’s on sale.

Alert set

Your price

Lowest now$98.87

We’ll let you know when any store drops to your price or lower.

View price drops

Just For You

Stores we recommend, with today’s cash back rates.

See all stores

Temu

Up to 40% Cash Back

Alo Yoga

4% Cash Back

Etsy

3.7% Cash Back

New Balance

5% Cash Back