Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540356332
Price: 50.19 EUR
Availability: InStock

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

Autor: Michael Johnson, Varmo Vene

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.19 €

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and S...

Informácie o knihe

Autor

Michael Johnson, Varmo Vene

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2006

Stránok

392

EAN

9783540356332

ISBN

3540356339

Enbook ID

01562279

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

1260

Rozmery

155 x 235 x 22

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Algebraic Methodology and Software Technology

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

! 1700-1725, Etc.

Forbidden Stories of an Immigrant

Sharpening Carving Tools for Beginners: Learn to Keep Your Knives, Gouges & V-Tools in Tip-Top Shape

Irish Doctor in Peace and at War

Commonly Used Conventions in the 21st Century

School Sermons, Preached to the Boys at Adams Academy, Quincy, Mass.

Rainforests

Unconditional You

Today Janet Will Be a Princess

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Método TED para hablar en público

Jean-Louis Murat - Les jours du jaguar

Sweet Minis häkeln - 23 wilde Dschungeltiere

Demon slayer. Kimetsu no yaiba

Bestiari

Histoire Des Deux Restaurations: Jusqu'a l'Avenement de Louis-Philippe. T 7 (Ed.1860)

Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht)

Migrations- und Flüchtlingspolitik der Europäischen Union