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

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