Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Specification, Algebra, and Software
Best Price (Coupon Required):
Buy Specification, Algebra, and Software for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.
Reviews
Questions & Answers
Hands-on Experience with Altera FPGA Development Boards
$119.99
Chefsache Komplexitt
$49.99
Concrete Construction
$179.99
Britain, the United States and the Mediterranean War 1942-44
$69.99
Digital Poetry
$49.99
Die Gesellschaft und ihre Gesundheit
$79.99
Regulating the Metaverse Economy
$37.99
Die Kugellager und ihre Verwendung im Maschinenbau
$69.99
Tribology and Mechanics of Magnetic Storage Devices
$109.99
Delivering on the Climate Emergency
$159.99
A Practical Hands-on Approach to Database Forensics
$139.00
Trauma Interventions in War and Peace
$129.00
Strategisches E-Commerce-Management
$44.99
Finanzierung
$59.99
Expert .NET 1.1 Programming
$54.99
Literary Paths to Religious Understanding
$54.99
Scholastic Reader! Science Level 4: A Dinosaur Named Sue
$3.74
Gesture and Sign Language in Human-Computer Interaction
$54.99
Target Volume Definition in Radiation Oncology
$84.99
Bioreaktionstechnik: Bioprozesse mit Mikroorganismen und Zellen
$119.99
Institutionelle Innovation in politischen Parteien
$59.99
Secure ICT Service Provisioning for Cloud, Mobile and Beyond
$59.99
Gauss Sums and p-adic Division Algebras
$29.99
Hot and Cold Animals: Red-eyed Tree Frog or Wood Frog
$18.75
Tutorials in Mathematical Biosciences II
$44.99
Optoelectronic Properties of Inorganic Compounds
$169.99
Quantum Analogues: From Phase Transitions to Black Holes and Cosmology
$39.99
Indices as Benchmarks in the Portfolio Management
$54.99
Linear Regression
$159.99
National Identities and Imperfections in Contemporary Irish Literature
$109.99
Information Literacy: Key to an Inclusive Society
$109.00
Australia's Arc of Instability
$109.99
Grammatical Inference: Learning Syntax from Sentences
$39.99
Spatial Modeling in Forest Resources Management
$169.99
Sandalwood: Silviculture, Conservation and Applications
$249.99
Detecting Trust and Deception in Group Interaction
$109.99
Hal Leonard - Beginning Guitar Superbook
$19.99
Die Finanzierung und Bilanz wirtschaftlicher Betriebe
$59.99
The Evolution and Fossil Record of Parasitism
$169.99
Optimization of Structural Topology, Shape, and Material
$74.99
