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.

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer, Berlin
SKU: 01559586
Price: 1182 CZK
Availability: InStock
Author: Charles Rattray
ISBN: 9783540223818

10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

Charles Rattray

Savitri Maharaj

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01559586

Nakladatelství Springer, Berlin, listopad 2003

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Met... Celý popis

Libristo kód: 01559586

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

Die Eistaucher Kaska Bryla

Pevná

567 Kč

Curso de Teologia Patristica PIKAZA XABIER

Brožovaná

556 Kč

Il était une fois un coeur brisé T01 (relié collector) Stephanie Garber

Pevná

748 Kč

Sokar - L' ordre des moines-guerriers Ahkena T1 Boivin

Brožovaná

324 Kč

A Breath of Winter Carina Schnell

Brožovaná

328 Kč

Briefe über Alexander von Humboldt's Kosmos Julius Schaller

Brožovaná

1 419 Kč

CUENTOS DE RISA PARA LEER SIN PRISA MUÑOZ MARTIN

Kniha

304 Kč

PACK TEMARIO OPOSICION BOMBERO POSE

Kniha

5 597 Kč

Benedetto Croce, John Dewey. Dialogo sull'estetica Nicola Ramazzotto

Brožovaná

897 Kč

Manuale di meccanica per invasati di motori Emanuele Sabatino

Brožovaná

445 Kč

Erfolgsfaktor Standortplanung Steffen Kinkel

Pevná

1 509 Kč

Душина. География. 7 кл. Материки, океаны, народы и страны. Учебное пособие. (ФГОС)

binding.

382 Kč

Andaluca y su cante DURAN MUÑOZ

Brožovaná

208 Kč

Symbole et connaissances de l'initiation maçonnique Fleury

Brožovaná

583 Kč

Les Cars 3 DISNEY.PIXAR Kniha

Brožovaná

110 Kč

Basic theory of the helicopter - Pictorial initiation ROGER

Brožovaná

1 058 Kč

Hydrologische Untersuchungen Johannes Von Wagner

Brožovaná

298 Kč

Premier Examen Sur Le Code Civil, Contenant Le Premier Livre Du Code CARRE-N

Brožovaná

467 Kč

Notice Sur Un Enfant d'Indret, Mort A l'Age de 8 ANS GUILLET-C

Brožovaná

293 Kč

Manuel Des Jeunes Artistes Et Amateurs En Peinture, (Ed.1827) P L Bouvier

Brožovaná

926 Kč

Neuronale Netze Im Portfolio-Management Klaus Ripper

Brožovaná

1 214 Kč

Podoby Židů v literatuře doby romantismu v českých zemích Jiří Holý

Brožovaná

126 Kč

Arquitectura bioclimática y urbanismo sostenible (volumen II) (Serie Energias renovables)

Brožovaná

807 Kč

Das Rentier Mit Der Roten Nase Various

Audio CD

131 Kč

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.