Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Algebraic Methodology and Software Technology

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

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

Michael Johnson

Varmo Vene

Język

Angielski

Książka Miękka

Kod Libristo: 01562279

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2006

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

Kod Libristo: 01562279

125 b

218.99 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Método TED para hablar en público JEREMY DONOVAN

Miękka

85.30 zł

Jean-Louis Murat - Les jours du jaguar Pierre Andrieu

Miękka

175.73 zł

Sweet Minis häkeln - 23 wilde Dschungeltiere Inga Borges

Twarda

36.42 zł

Demon slayer. Kimetsu no yaiba Koyoharu Gotouge

Miękka

31.20 zł

Bestiari Navarro Simon

Miękka

40.24 zł

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

Miękka

136.49 zł

Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht) Dario Fischer

Miękka

38.73 zł

Migrations- und Flüchtlingspolitik der Europäischen Union Matthias Amann

Miękka

292.26 zł

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.