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 Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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

223.49 zł

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

Nawet do 30 dni na zwrot

Klienci kupili także

Symbole et connaissances de l'initiation maçonnique Fleury

Miękka

98.92 zł

CUENTOS DE RISA PARA LEER SIN PRISA MUÑOZ MARTIN

Książka

65.30 zł

Andaluca y su cante DURAN MUÑOZ

Miękka

36.69 zł

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

binding.

68.37 zł

Sumishield: Um produto eficaz contra os vectores da malária Akimonwan Juniace Ahoga

Miękka

154.39 zł

Das Gold der Wölfe Wolfgang Thon

Miękka

43.26 zł

Manuale di meccanica per invasati di motori Emanuele Sabatino

Miękka

74.42 zł

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

Miękka

169.97 zł

Die Eistaucher Kaska Bryla

Twarda

100.57 zł

antim hindi mahakavya / अंतिम हिंदी महाकाव्&#235 Jay Shankar Prasad

Miękka

87.85 zł

A Breath of Winter Carina Schnell

Miękka

62.43 zł

Curso de Teologia Patristica PIKAZA XABIER

Miękka

114.20 zł

Erfolgsfaktor Standortplanung Steffen Kinkel

Twarda

285.82 zł

PACK TEMARIO OPOSICION BOMBERO POSE

Książka

1 060.28 zł

Briefe über Alexander von Humboldt's Kosmos Julius Schaller

Miękka

269.52 zł

Schlesiens Wirbeltier-Fauna Constantin Lambert Gloger

Miękka

65.30 zł

Das Rentier Mit Der Roten Nase Various

CD Audio

25.31 zł

Grenzen und Grenzkonflikte. Sibirien und seine unmittelbaren Anrainer: Zwischen Kooperation und Konfrontation Markus Baum

Miękka

62.43 zł

Teoría de la publicidad Raúl Eguizábal

Miękka

106.61 zł

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

Miękka

143.83 zł

LEYENDAS GUSTAVO ADOLFO BECQUER

Miękka

43.66 zł

Collection Henri LeBlanc Destinee A l'Etat. La Grande Guerre. Iconographie. Bibliographie. Tome 2-1 Rieunier-M

Miękka

125.58 zł

Lettres Marseillaises (de l'Ancienne France) Au Docteur Louis Veron (de la Nouvelle) Clariond

Miękka

55.66 zł

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

Miękka

23.88 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.