Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

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 :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

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

Algebraic Methodology and Software Technology

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

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

Charles Rattray

Savitri Maharaj

Język

Angielski

Książka Miękka

Kod Libristo: 01559586

Wydawnictwo Springer, Berlin, listopad 2003

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Met... Cały opis

Kod Libristo: 01559586

125 b

219.03 zł

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

30 dni na zwrot towaru

Klienci kupili także

PACK TEMARIO OPOSICION BOMBERO POSE

Książka

1 038.18 zł

CUENTOS DE RISA PARA LEER SIN PRISA MUÑOZ MARTIN

Książka

53.29 zł

Briefe über Alexander von Humboldt's Kosmos Julius Schaller

Miękka

264.00 zł

A Breath of Winter Carina Schnell

Miękka

61.12 zł

Curso de Teologia Patristica PIKAZA XABIER

Miękka

111.92 zł

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

Miękka

166.43 zł

Die Eistaucher Kaska Bryla

Twarda

99.37 zł

Manuale di meccanica per invasati di motori Emanuele Sabatino

Miękka

74.07 zł

Erfolgsfaktor Standortplanung Steffen Kinkel

Twarda

279.87 zł

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

binding.

66.95 zł

Andaluca y su cante DURAN MUÑOZ

Miękka

36.43 zł

Symbole et connaissances de l'initiation maçonnique Fleury

Miękka

102.18 zł

Les Cars 3 DISNEY.PIXAR Książka

Miękka

19.26 zł

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

Miękka

56.81 zł

Basic theory of the helicopter - Pictorial initiation ROGER

Miękka

185.40 zł

Hydrologische Untersuchungen Johannes Von Wagner

Miękka

52.19 zł

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

Miękka

86.02 zł

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

Miękka

54.00 zł

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

Miękka

170.14 zł

Neuronale Netze Im Portfolio-Management Klaus Ripper

Miękka

224.95 zł

Das Rentier Mit Der Roten Nase Various

CD Audio

23.98 zł

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

Miękka

22.98 zł

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

Miękka

141.43 zł

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.