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 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € 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, Berlin
SKU: 01559586
Price: 51.75 EUR
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

Nakladateľstvo Springer, Berlin, november 2003

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

Libristo kód: 01559586

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

Die Eistaucher Kaska Bryla

Pevná

23.49 €

Curso de Teologia Patristica PIKAZA XABIER

Brožovaná

24.70 €

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

Pevná

30.98 €

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

Brožovaná

13.36 €

A Breath of Winter Carina Schnell

Brožovaná

14.47 €

Briefe über Alexander von Humboldt's Kosmos Julius Schaller

Brožovaná

62.38 €

CUENTOS DE RISA PARA LEER SIN PRISA MUÑOZ MARTIN

Kniha

12.55 €

PACK TEMARIO OPOSICION BOMBERO POSE

Kniha

245.20 €

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

Brožovaná

39.29 €

Manuale di meccanica per invasati di motori Emanuele Sabatino

Brožovaná

18.42 €

Erfolgsfaktor Standortplanung Steffen Kinkel

Pevná

66.13 €

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

binding.

15.79 €

Andaluca y su cante DURAN MUÑOZ

Brožovaná

8.60 €

Symbole et connaissances de l'initiation maçonnique Fleury

Brožovaná

24.10 €

Les Cars 3 DISNEY.PIXAR Kniha

Brožovaná

4.55 €

Basic theory of the helicopter - Pictorial initiation ROGER

Brožovaná

43.74 €

Hydrologische Untersuchungen Johannes Von Wagner

Brožovaná

12.35 €

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

Brožovaná

19.33 €

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

Brožovaná

12.14 €

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

Brožovaná

38.27 €

Neuronale Netze Im Portfolio-Management Klaus Ripper

Brožovaná

53.16 €

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

Brožovaná

5.16 €

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

Brožovaná

33.41 €

Das Rentier Mit Der Roten Nase Various

Audio CD

5.66 €

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.