Code: 02483162

Specification, Algebra, and Software

Name: Specification, Algebra, and Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02483162
Price: 51.68 EUR
Availability: InStock
Author: Shusaku Iida
ISBN: 9783642546235

by Shusaku Iida, José Meseguer, Kazuhiro Ogata

Language: English
Binding: Paperback
Number of pages: 657
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014
More about this

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Funko POP Games: Pokémon - Eevee
21.64 € -6 %
Pre-order
What Were the Negro Leagues?
6.56 € -24 %
Buy
Oxford Reading Tree TreeTops inFact: Level 16: Huge Art
14.35 €
Buy
Soft Tissue Therapy for the Lower Limb
43.89 €
Buy
ALPHABET OF PHRENOLOGY
15.67 € -2 %
Buy
Bilingual New Testament, English - Spanish
26.90 € -9 %
Buy
Why I Wake Early
18.30 € -24 %
Buy
Proof Theory for General Unification
51.68 € -7 %
Buy
Accident
9.70 € -9 %
Buy
Tickling the English
11.83 € -25 %
Buy
Seven Ways to Smash the Sicilian
19.41 € -20 %
Buy
Kommunikation des Herzens
12.74 € -16 %
Buy
Atlas Der Reontgenologischen Messmethoden
53.10 € -7 %
Buy
Welkei Collens
23.76 € -2 %
Buy
Nonfiction Alphabet Readers: 26 Just-Right Titles That Teach the Letters from A to Z
18.30 € -24 %
Buy
Modellierung kinetisch kontrollierter, turbulenter Flammen fur Magerbrennkonzepte
43.79 € -11 %
Buy
Practical Reasoning in a Social World
45.92 €
Buy
Empty Tubes and Back Seat Memories
20.22 € -1 %
Buy
Targeted Therapeutics
49.25 €
Pre-order
Erinnerungen eines Zeitzeugen
20.32 € -11 %
Buy
Inherit the Holy Mountain
52.39 €
Buy
My Life Is Our Illusion
18.30 € -7 %
Buy
Class-Book of Modern Geography
37.32 € -1 %
Buy
Mindset On Increase: A Journey To Raise Your Frequency
12.33 € -7 %
Buy
Mega Mazes: 100 Challenging Mazes
11.32 € -7 %
Buy
Responsibility for Refugee and Migrant Integration
57.45 € -25 %
Buy
On Aneurism, and Its Cure by a New Operation (1828)
22.85 € -2 %
Buy
Whispered Music
14.05 € -7 %
Buy
Inspired Knowledge in Islamic Thought
82.53 €
Buy
Photocatalysis
238.82 €
Buy
Horace's Art of poetry translated. Inscribed to the Right Honourable the Earl of Halifax. By William Popple, Esq.
13.24 € -25 %
Buy
Besteuerung von verheirateten Paaren in Deutschland
17.09 € -10 %
Buy
City Visual: Interior Embellishment
53.30 € -9 %
Buy
Simple Wisdom of the Household Dog
25.38 € -26 %
Buy
Diagnosing from a Distance
33.57 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Specification, Algebra, and Software

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.