Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Algebraic Methodology and Software Technology

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

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

Michael Johnson

Varmo Vene

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01562279

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2006

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

Libristo kód: 01562279

125 b

51.75 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

20.15 €

Jean-Louis Murat - Les jours du jaguar Pierre Andrieu

Brožovaná

41.52 €

Sweet Minis häkeln - 23 wilde Dschungeltiere Inga Borges

Pevná

8.60 €

Demon slayer. Kimetsu no yaiba Koyoharu Gotouge

Brožovaná

7.79 €

Bestiari Navarro Simon

Brožovaná

9.51 €

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

Brožovaná

30.78 €

Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht) Dario Fischer

Brožovaná

9.11 €

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

Brožovaná

69.06 €

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.