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
Free delivery for purchases over 69.99 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Algebraic Methodology and Software Technology

11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Language EnglishEnglish
Book Paperback
Book Algebraic Methodology and Software Technology Michael Johnson
Libristo code: 01562279
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2006
This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and S... Full description
? points 125 b
51.35 €
100.43  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Jean-Louis Murat - Les jours du jaguar Pierre Andrieu / Book Paperback
common.buy 41.78 € 81.71 лв
Demon slayer. Kimetsu no yaiba Koyoharu Gotouge / Book Paperback
common.buy 10.65 € 20.82 лв
Effet des dates de semis sur le rendement des variétés de pois chiches en Ethiopie Hirpa Legesse / Book Paperback
common.buy 35.45 € 69.33 лв
Sweet Minis häkeln - 23 wilde Dschungeltiere Inga Borges / Book Hardback
common.buy 9.10 € 17.80 лв
Les Indes noires Jules Verne / Book Paperback
common.buy 14.20 € 27.77 лв
Coming soon
Bestiari Navarro Simon / Book Paperback
common.buy 9.72 € 19.01 лв
Método TED para hablar en público JEREMY DONOVAN / Book Paperback
common.buy 20.83 € 40.75 лв
Napoleon III Et l'Opinion Catholique. a Mme De... Tres-Zelee Catholique, A Lyon Sans Auteur / Book Paperback
common.buy 14.40 € 28.17 лв
Histoire Des Deux Restaurations: Jusqu'a l'Avenement de Louis-Philippe. T 7 (Ed.1860) Achille De Vaulabelle / Book Paperback
common.buy 30.92 € 60.47 лв
Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht) Dario Fischer / Book Paperback
common.buy 9.62 € 18.81 лв
Migrations- und Flüchtlingspolitik der Europäischen Union Matthias Amann / Book Paperback
common.buy 71.88 € 140.58 лв

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers together with 3 system demonstrations and 3 invited talks. Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

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 Algebraic Methodology and Software Technology
Author Michael Johnson, Varmo Vene
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 392
EAN 9783540356332
ISBN 3540356339
Libristo code 01562279
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1260
Dimensions 155 x 235 x 22

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

Atlas of Robotic Prostatectomy Hubert John / Book Paperback
common.buy 60.15 € 117.64 лв
Commonly Used Conventions in the 21st Century Audrey Grant / Book Paperback
common.buy 22.95 € 44.89 лв
Darrell Markham Mary Elizabeth Braddon / Book Paperback
common.buy 15.17 € 29.68 лв
Today Janet Will Be a Princess Paula Croyle / Book Hardback
common.buy 23.61 € 46.18 лв
Silver and Glass Cornelia Parker / Book Hardback
common.buy 19.86 € 38.84 лв
Unconditional You Ojaswi Tiwari / Book Paperback
common.buy 21.71 € 42.46 лв
Allison's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Book Paperback
common.buy 7.87 € 15.39 лв
School Sermons, Preached to the Boys at Adams Academy, Quincy, Mass. William Everett / Book Paperback
common.buy 28.98 € 56.67 лв
Irish Doctor in Peace and at War Patrick Taylor / Book Paperback
common.buy 19.14 € 37.43 лв
Sharpening Carving Tools for Beginners: Learn to Keep Your Knives, Gouges & V-Tools in Tip-Top Shape Lora S. Irish / Book Paperback
common.buy 9.62 € 18.81 лв
Forbidden Stories of an Immigrant Phern H / Book Paperback
common.buy 11.16 € 21.83 лв
! 1700-1725, Etc. Mikhail Ivanovich Semevsky / Book Paperback
common.buy 26.75 € 52.32 лв
Rainforests Steve Parker / Book Paperback
common.buy 11.78 € 23.04 лв
Coming soon
Transnational Business None / Book Hardback
common.buy 799.62 € 1 563.93 лв
Jim Murray Reader Jim Murray / Book Paperback
common.buy 16.10 € 31.49 лв

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?