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
Empathy in Contemporary Poetry after Crisis
$64.99
Globales Marketing im Dienstleistungssektor
$44.99
Theodore Roosevelt Abroad
$48.00
Elastische Platten
$69.99
Anaesthesia, Pain, Intensive Care and Emergency Medicine A.P.I.C.E
$109.99
Praxisfhrung fr Zahnrzte
$74.99
Psychologische Kriminalprognose
$69.99
Evolutionary Multiobjective Optimization
$199.99
Innovation By Design
$79.99
Crib Death
$84.99
Typed Lambda Calculi and Applications
$39.99
Demokratiemessung
$44.99
Climate Change and the Humanities
$109.00
Diseases of Mites and Ticks
$129.00
Quantifying Stone Age Mobility
$139.99
Political Representation in France and Germany
$249.99
Strukturalismus, heute
$59.99
Physiological Assessment of Coronary Stenoses and the Microcirculation
$99.00
Technikfolgenabschtzung in der Telekommunikation
$59.99
Indebtedness in Early Adulthood
$84.99
The Social Psychology of Communication
$140.00
Women, Performance and the Material of Memory
$89.99
Der Urknall
$49.99
Geometrische Grundlagen der Architekturdarstellung
$39.99
Scholastic Reader! Level 1-A Word By Word First Reader: I Spy Funny Teeth
$2.99
Praxisleitfaden Kommunales Beteiligungsmanagement
$69.99
Doping in Sports
$329.99
The Phylogenetic System of Ephemeroptera
$169.00
Geschichte der antiken Biographie
$59.99
Combinatorial Algorithms
$79.99
Pakistan and Its Diaspora
$39.99
Co-utility
$109.99
Carcinogenesis and Dietary Fat
$329.99
Neurographische Normalwerte
$69.99
Mit Stift und Stuhl
$44.99
Metal and Metal-Oxide Based Nanomaterials
$129.00
Proceedings of the International Conference on Radioscience, Equatorial Atmospheric Science and Envi
$219.99
Professionelle Beratung: Interaktion und Kontext
$59.99
Ontologies for Urban Development
$109.99
Crisis, Risk and Stability in Financial Markets
$54.99
