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.99 € Punto Poste 5.99 € Corriere DHL 7.49 € Corriere GLS 6.49 € Punto GLS 4.99 € Corriere Bartolini 4.99 € Punto Bartolini 3.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer, Berlin
SKU: 01567397
Price: 107.29 EUR
Availability: InStock
Author: Teodor Rus
ISBN: 9783540675303

8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings

Teodor Rus

Lingua

Inglese

Libro In brossura

Codice Libristo: 01567397

Casa editrice Springer, Berlin, novembre 1999

This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Meth... Descrizione completa

Codice Libristo: 01567397

262 b

107.29 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Mon Coach perso: Conseils et stratégies pour réaliser vos r?ves et vos objectifs Ludovic P

In brossura

7.29 €

Akupresura Jiří Marek

Libro

8.49 €

!Vuelve a ser Navidad! Annika Devert

In brossura

23.49 €

Mariposa mozgalom Gert Nygardshaug

In brossura

12.59 €

Společenská hra Pohádkový soubor 9 her

Gioco

24.89 €

Tokyo Aliens - Tome 11 NAOE

Libro

9.79 €

Thomas och vannerna - Den stora tagdagen Mattel

MP3

2.69 €

Les fondements de la terreur Dr.Dilip M kathad

In brossura

64.29 €

Dieta dla urody Lewandowska Agata

In brossura

9.99 €

Kai Martin Ritterbach

In brossura

19.09 €

Das große Buch der russischen Küche A. A. Samojlow

Rigido

30.79 €

Les Antiquites d'Athenes. Tome 4 Stuart-J

In brossura

19.19 €

20 lustige Geschichten Klaus-Dieter Baudach

In brossura

12.59 €

Projektevaluation fur eine Nonprofit-Organisation Christian Bindella

In brossura

49.19 €

Erfolgreich mit Spenderinnen und Spendern korrespondieren Norbert Franck

In brossura

15.79 €

Sportfunktionäre und jüdische Differenz Bernhard Hachleitner

Rigido

120.39 €

Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder

In brossura

65.19 €

Le Tréportais Gilbert Testelin-Un policier en résistance Charon

In brossura

22.49 €

Silná slova Petra Rybková

In brossura

17.99 €

DEACON KING KONG MCBRIDE JAMES

In brossura

30.79 €

DEMYSTIFICTION DE LA PRATIQUE OCCLUSALE : UNEAPPROCHE RAISONNEE ET SIMPLIFIEE PO Pieaud Libro

In brossura

132.09 €

DICTIONNAIRE COMPLET DES HYDROLATS ET EAUX FLORALES ZAHALKA JEAN-PHILIPPE

In brossura

27.79 €

This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000, held in Iowa City, Iowa, USA, in May 2000.The 20 revised full papers presented together with eight invited contributions were carefully reviewed and selected from a total of 53 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines, algebraic state machines, algebraic compilers, state charts, process algebras, etc. The algebraic methods are applied to reactive systems, safety-critical systems, concurrency, Java, UML, etc.