Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

Language EnglishEnglish
Book Paperback
Book Specification, Algebra, and Software Shusaku Iida
Libristo code: 02483162
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2014
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Coming soon
Funko POP Games: Pokémon - Eevee / Game/Toy Toy
common.buy 21.39 €
Atlas Der Reontgenologischen Messmethoden Kurt Fochem / Book Paperback
common.buy 55.29 €
Modellierung kinetisch kontrollierter, turbulenter Flammen fur Magerbrennkonzepte Matthias Kern / Book Paperback
common.buy 49.00 €
Kommunikation des Herzens Rahasya Fritjof Kraft / Book Hardback
common.buy 15.00 €
Erinnerungen eines Zeitzeugen Alexander Muth / Book Paperback
common.buy 22.60 €
Besteuerung von verheirateten Paaren in Deutschland Marco Theiling / Book Paperback
common.buy 18.95 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Specification, Algebra, and Software
Author Shusaku Iida, José Meseguer, Kazuhiro Ogata
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 657
EAN 9783642546235
ISBN 3642546234
Libristo code 02483162
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1013
Dimensions 155 x 235 x 36

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Whispered Music Rachel Van Dyken / Book Paperback
common.buy 15.39 €
My Life Is Our Illusion Marshall Walker / Book Paperback
common.buy 20.09 €
Oxford Reading Tree TreeTops inFact: Level 16: Huge Art James Driver / Book Paperback
common.buy 14.99 €
Proof Theory for General Unification Wayne Snyder / Book Hardback
common.buy 53.79 €
Photocatalysis Dionysios D. Dionysiou / Book Hardback
common.buy 258.99 €
Class-Book of Modern Geography Hughes / Book Hardback
common.buy 40.69 €
Nonfiction Alphabet Readers: 26 Just-Right Titles That Teach the Letters from A to Z Inc. Scholastic / Book Paperback
common.buy 20.49 €
Why I Wake Early Mary Oliver / Book Hardback
common.buy 20.49 €
ALPHABET OF PHRENOLOGY H. T. Judson / Book Paperback
common.buy 17.09 €
Inherit the Holy Mountain Mark Stoll / Book Paperback
common.buy 56.39 €
Empty Tubes and Back Seat Memories Russ Warriner / Book Paperback
common.buy 21.99 €
Mindset On Increase: A Journey To Raise Your Frequency Pilar Scratch / Book Paperback
common.buy 13.59 €
Responsibility for Refugee and Migrant Integration Jan-Christoph Heilinger / Book Hardback
common.buy 64.39 €
What Were the Negro Leagues? Varian Johnson / Book Paperback
common.buy 7.29 €
Welkei Collens Collins Wilkie / Book Paperback
common.buy 25.89 €
City Visual: Interior Embellishment Sendpoints / Book Hardback
common.buy 47.39 €
Diagnosing from a Distance John Martin-Joy / Book Paperback
common.buy 36.39 €
On Aneurism, and Its Cure by a New Operation (1828) James Wardrop / Book Paperback
common.buy 24.89 €
Mega Mazes: 100 Challenging Mazes Margaret Gregory / Book Paperback
common.buy 12.39 €
Language, Thought and Consciousness Peter Carruthers / Book Hardback
common.buy 50.79 €
Soft Tissue Therapy for the Lower Limb Jane Johnson / Book Paperback
common.buy 47.09 €
Practical Reasoning in a Social World Keith Graham / Book Paperback
common.buy 49.79 €
Check Your English Vocabulary for TOEFL Wyatt Rawdon Wyatt / E-book Adobe ePub DRM
common.buy 15.39 €
Options Edge + Free Trial - An Intuitive Approach to Generating Consistent Profits for the Novice to the Experienced Practitioner Michael Khouw / Book Paperback
common.buy 49.79 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?