Code: 01562279

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562279
Price: 51.56 EUR
Availability: InStock
Author: Michael Johnson
ISBN: 9783540356332

by Michael Johnson, Varmo Vene

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

51.56 €

RRP: 55.84 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Demon slayer. Kimetsu no yaiba
7.76 €
Buy
Sharpening Carving Tools for Beginners: Learn to Keep Your Knives, Gouges & V-Tools in Tip-Top Shape
8.37 € -25 %
Buy
Sweet Minis häkeln - 23 wilde Dschungeltiere
8.57 € -15 %
Buy
Rainforests
10.79 € -24 %
Buy
Today Janet Will Be a Princess
21.69 € -24 %
Buy
Método TED para hablar en público
20.07 €
Buy
Jean-Louis Murat - Les jours du jaguar
41.37 €
Buy
Unconditional You
20.18 € -2 %
Buy
Napoleon III Et l'Opinion Catholique. a Mme De... Tres-Zelee Catholique, A Lyon
13.51 € -10 %
Buy
Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht)
9.07 € -10 %
Buy
School Sermons, Preached to the Boys at Adams Academy, Quincy, Mass.
27.85 €
Buy
Commonly Used Conventions in the 21st Century
21.89 € -9 %
Buy
Histoire Des Deux Restaurations: Jusqu'a l'Avenement de Louis-Philippe. T 7 (Ed.1860)
29.16 € -5 %
Buy
Migrations- und Flüchtlingspolitik der Europäischen Union
68.82 € -3 %
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 Algebraic Methodology and Software Technology

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development

51.56 €

Full title: Algebraic Methodology and Software Technology
Subtitle: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
Author: Michael Johnson, Varmo Vene
Language: English
Binding: Paperback
Number of pages: 392
EAN: 9783540356332
ISBN: 3540356339
ID: 01562279
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1260 g
Dimensions: 235 × 155 × 22 mm
Date of publishing: 27. June 2006