Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Recent Trends in Algebraic Development Techniques

Name: Recent Trends in Algebraic Development Techniques
Brand: Springer, Berlin
SKU: 01558808
Price: 1182 CZK
Availability: InStock
Author: Martin Wirsing
ISBN: 9783540205371

16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Martin Wirsing

Dirk Pattinson

Rolf Hennicker

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01558808

Nakladatelství Springer, Berlin, listopad 2002

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on... Celý popis

Libristo kód: 01558808

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Vingt-trois mois dans les camps nazis Mulier andre

Brožovaná

360 Kč

Les intelligences que nous sommes - au nom d'un nous bien à nous Blouin

Brožovaná

495 Kč

Carnassiers - regards sur l'univers des pêcheurs aux leurres Balança Kniha

Brožovaná

1 084 Kč

Chemie heute SI - Ausgabe 2013 für Niedersachsen Wolfgang Asselborn

Pevná

691 Kč

COMO MANTENER LA ESPALDA SANA + VIDEO BERNAD

Kniha

185 Kč

Las Adventuras de El Gato Cefa: Cefa Encuentra Un Hogar Judy Drmacich Ryan

Brožovaná

236 Kč

Praktische Grammatik der portugiesischen Sprache Wolfgang Reumuth

Pevná

629 Kč

Lautlose Kinder . . . . . Afra

Brožovaná

181 Kč

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.§The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.