3 stores
Springer
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Compared at 3 stores·New and used
·Updated 1 day ago
Lowest $57.89Highest $76.94
Compare buying options
Six live offers. The cheapest is used, the cheapest new one costs $0.01 more.Sold byDetailsSpecial savingsItem price
Product Description
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to
Set Price Drop
Get an alert as soon as it’s on sale.
Alert set
Your price
Lowest now$57.89
We’ll let you know when any store drops to your price or lower.
Video reviews
Reviews of this product on YouTube.Just For You
Stores we recommend, with today’s cash back rates.
Boosted Cash BackBoosted
Activate & Shop
Boosted Cash BackBoosted
Activate & Shop
Boosted Cash BackBoosted
Activate & Shop
Boosted Cash BackBoosted
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Boosted Cash BackBoosted
Activate & Shop
Activate & Shop
Boosted Cash BackBoosted
Activate & Shop
Activate & Shop
Boosted Cash BackBoosted
Activate & Shop
Activate & ShopTemu
Up to 40% Cash Back
Up to 30% Off Select Items
Activate & ShopAlo Yoga
4% Cash Back
Up to 40% Off Select Items
Activate & ShopEtsy
3.7% Cash Back
Up to 75% Off Select Items
Activate & ShopThe Home Depot
Up to 8% Cash Back
Up to 40% Off Select Items
Activate & Shop2ndSwing
2.5% Cash Back
Activate & ShopeBay
Up to 1.5% Cash Back
10% Off Select Items
Activate & ShopMax & LIly
1% Cash Back
Activate & ShopZappos
15% Cash Back
50% Off Select Items
Activate & ShopLowe's
1.6% Cash Back
Activate & ShopNew Balance
5% Cash Back
25% Off Select Items
Activate & ShopHot Topic
1% Cash Back
20% Off
Activate & ShopChewy
10% Cash Back
50% Off First Autoship