Algebraic Methodology and Software Technology

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

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

Autor: Michael Johnson, Varmo Vene

Jazyk:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Michael Johnson, Varmo Vene

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2006

Stránek

392

EAN

9783540356332

ISBN

3540356339

Enbook ID

01562279

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

1260

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Algebraic Methodology and Software Technology

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

! 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ákaznicí kteří koupili tuto knihu koupili také

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