Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer, Berlin
SKU: 01559586
Price: 57.79 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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01559586

Casa editrice Springer, Berlin, novembre 2003

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Met... Descrizione completa

Codice Libristo: 01559586

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Die Eistaucher Kaska Bryla

Rigido

24.49 €

Curso de Teologia Patristica PIKAZA XABIER

In brossura

26.09 €

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

Rigido

31.89 €

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

In brossura

13.79 €

A Breath of Winter Carina Schnell

In brossura

17.99 €

Briefe über Alexander von Humboldt's Kosmos Julius Schaller

In brossura

76.09 €

CUENTOS DE RISA PARA LEER SIN PRISA MUÑOZ MARTIN

Libro

12.39 €

PACK TEMARIO OPOSICION BOMBERO POSE

Libro

255.49 €

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

In brossura

40.99 €

Manuale di meccanica per invasati di motori Emanuele Sabatino

In brossura

19.09 €

Erfolgsfaktor Standortplanung Steffen Kinkel

Rigido

77.89 €

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

binding.

16.49 €

Andaluca y su cante DURAN MUÑOZ

In brossura

8.49 €

Symbole et connaissances de l'initiation maçonnique Fleury

In brossura

24.79 €

Les Cars 3 DISNEY.PIXAR Libro

In brossura

4.69 €

Basic theory of the helicopter - Pictorial initiation ROGER

In brossura

45.09 €

Hydrologische Untersuchungen Johannes Von Wagner

In brossura

12.89 €

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

In brossura

20.99 €

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

In brossura

13.19 €

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

In brossura

41.49 €

Neuronale Netze Im Portfolio-Management Klaus Ripper

In brossura

62.79 €

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

In brossura

5.59 €

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

In brossura

32.99 €

Das Rentier Mit Der Roten Nase Various

CD audio

5.89 €

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.