Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Algebraic Methodology and Software Technology Michael Johnson

Algebraic Methodology and Software Technology

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

Autor: Michael Johnson, Varmo Vene
Język: Angielski
Oprawa: Miękka
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42 zł
This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and S...

Informacje o książce

Autor
Michael Johnson, Varmo Vene
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2006
strony
392
EAN
9783540356332
ISBN
3540356339
Enbook ID
01562279
Wydawca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga
1260
Wymiary
155 x 235 x 22

Pełny opis

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.

Możesz być zainteresowany

! 1700-1725, Etc.

Mikhail Ivanovich Semevsky
109.13 zł

Forbidden Stories of an Immigrant

Phern H
46.53 zł

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

Lora S. Irish
36.89 zł

Irish Doctor in Peace and at War

Patrick Taylor
77.00 zł

Commonly Used Conventions in the 21st Century

Audrey Grant
90.05 zł

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

William Everett
112.34 zł

Rainforests

Steve Parker
44.48 zł

Unconditional You

Ojaswi Tiwari
87.51 zł

Today Janet Will Be a Princess

Paula Croyle
95.11 zł

Klienci, którzy kupili tę książkę, kupili również

Método TED para hablar en público

JEREMY DONOVAN
82.74 zł

Jean-Louis Murat - Les jours du jaguar

Pierre Andrieu
170.46 zł

Sweet Minis häkeln - 23 wilde Dschungeltiere

Inga Borges
35.33 zł

Demon slayer. Kimetsu no yaiba

Koyoharu Gotouge
30.27 zł

Bestiari

Navarro Simon
39.03 zł

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

Achille De Vaulabelle
132.40 zł

Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht)

Dario Fischer
37.57 zł

Migrations- und Flüchtlingspolitik der Europäischen Union

Matthias Amann
283.49 zł