Copied Specification, Algebra, and Software
Specification, Algebra, and Software
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.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Nonverbale Einstellungsmessung
$59.99
Collective Excitations in the Antisymmetric Channel of Raman Spectroscopy
$199.99
Festigkeitsberechnung von Bauelementen des Dampfkessel-, Behlter- und Rohrleitungsbaues
$54.99
Mitochondrial Medicine
$199.99
Theorising and Implementing Mobile Learning
$109.99
Praxishandbuch Habitussensibilitt und Diversitt in der Hochschullehre
$119.99
Math for Scientists
$34.99
Die Modernisierung der Stdte
$59.99
Das Wealth-Management-Team in der Kundenbetreuung
$59.99
Project Management
$109.99
Localizing Foreign Policy
$39.99
Innovative Psychiatrie mit offenen Tren
$84.99
The Post-2000 Film Western
$54.99
Deleuze and Beckett
$109.99
Neurosen und Psychosen der Weiblichen Generationsphasen
$44.99
Flexible Arbeitsmodelle fr die Generation 50+
$39.99
The Erotics of Consolation
$54.99
Influence of Social Media in a Changing Landscape of Crisis
$109.99
Infection, Immune Homeostasis and Immune Privilege
$169.99
Agromining: Farming for Metals
$169.99
Erwerbsarbeit und Unterhaltswirtschaft
$54.99
Das Online-Marketing-Cockpit
$19.99
Amedeo Avogadro
$219.99
Klinik und Atlas der chronischen Krankheiten des Zentralnervensystems
$59.99
Active Robust Optimization: Optimizing for Robustness of Changeable Products
$109.99
Responsible Investment
$39.99
Online Algorithms
$69.99
Beginning PostgreSQL on the Cloud
$79.99
Europische Unternehmensbesteuerung I
$37.99
Adjuvant Therapy for Breast Cancer
$219.99
HLA and Disease Associations
$84.99
Erinnerungen
$59.99
The Challenge of Teaching
$159.99
Grundlagen der Kryptographie
$34.99
Word Perfect Schritt fr Schritt
$69.99
Management mit Kennzahlen und Kennzahlensystemen
$74.99
Geography of Order and Chaos in Mechanics
$159.99
Intramarkenimagekonfusion
$64.99
Drug and Biological Development
$89.00
Energy Footprints of the Food and Textile Sectors
$109.99
