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

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Algebraic Methodology and Software Technology

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

111 b

45.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

binding.

14.69 €

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

In brossura

31.09 €

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

In brossura

10.69 €

Manuale di meccanica per invasati di motori Emanuele Sabatino

In brossura

15.20 €

Die Eistaucher Kaska Bryla

Rigido

19.29 €

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

In brossura

34.49 €

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

In brossura

17.19 €

Erfolgsfaktor Standortplanung Steffen Kinkel

Rigido

58.09 €

Curso de Teologia Patristica PIKAZA XABIER

In brossura

20.99 €

A Breath of Winter Carina Schnell

In brossura

12.49 €

Briefe über Alexander von Humboldt's Kosmos Julius Schaller

In brossura

54.29 €

PACK TEMARIO OPOSICION BOMBERO POSE

Libro

215.29 €

CUENTOS DE RISA PARA LEER SIN PRISA MUÑOZ MARTIN

Libro

12.19 €

Symbole et connaissances de l'initiation maçonnique Fleury

In brossura

19.49 €

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

In brossura

12.59 €

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

In brossura

19.59 €

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

In brossura

26.39 €

Das Rentier Mit Der Roten Nase Various

CD audio

5.09 €

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

In brossura

4.89 €

Neuronale Netze Im Portfolio-Management Klaus Ripper

In brossura

46.79 €

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

In brossura

32.89 €

Regulationskrankheiten Jürgen Schole

In brossura

15.69 €

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

In brossura

10.69 €

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

In brossura

17.19 €

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.