LIBRISTO
LIBROAMANTO
obbligatorio
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
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

Spedizione gratuita per ordini superiori a 69,99 euro.

Algebraic Methodology and Software Technology

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

Lingua IngleseInglese
Libro In brossura
Libro Algebraic Methodology and Software Technology Teodor Rus
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
? points 263 b
107.29
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso


I clienti hanno acquistato anche


Derrière les portes bleues - roman Giliberti Libro In brossura
common.buy 19.29
Kai Martin Ritterbach / Libro In brossura
common.buy 19.19
Akupresura Jiří Marek / Libro Libro
common.buy 9.39
8 SYMPHONIES OP. 2 POCHE WILLIAM BOYCE Pubblicazioni cartacee Note
common.buy 27.39
Das große Buch der russischen Küche A. A. Samojlow / Libro Rigido
common.buy 30.79
20 lustige Geschichten Klaus-Dieter Baudach / Libro In brossura
common.buy 13.49
Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder / Libro In brossura
common.buy 66.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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche


People, Power and Place Keith Hoggart / Libro In brossura
common.buy 43.39
Chapters of Our Lives Ble Mary / Libro In brossura
common.buy 20.09
Spark Courtney Elizabeth Mauk / Libro In brossura
common.buy 16.09
School Leadership in Times of Urban Reform Marilyn Bizar / Libro Rigido
common.buy 194.39
The Works of Tobias Smollett, M.D. Tobias George Smollett / Libro In brossura
common.buy 33.59
Course in Stochastic Game Theory Eilon Solan / Libro Rigido
common.buy 121.59
Mastering Active Directory FRANCIS / Libro In brossura
common.buy 55.39
Edgar Allen Poe Collection Edgar Allan Poe / Libro elettronico Adobe ePub DRM
common.buy 1.09
Hidden Messages in Culture-Centered Counseling Paul B. Pedersen / Libro In brossura
common.buy 79.29
Scale Issues in Remote Sensing JianFeng Weng / Libro Rigido
common.buy 146.99
Field Guide to Lucid Dreaming Dylan Tuccillo / Libro In brossura
common.buy 13.49
Focus on Nonlinear Analysis Research Gualtiero Padovani / Libro Rigido
common.buy 278.69
Racism and the Law Gerald J. Postema / Libro Rigido
common.buy 107.29

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?