Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Specification, Algebra, and Software

Specification, Algebra, and Software

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642546235
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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