[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Algebraic Methodology and Software Technology

Lingua IngleseInglese
Libro In brossura
Libro Algebraic Methodology and Software Technology Maurice Nivat
Codice Libristo: 05274595
Casa editrice Springer, Berlin, novembre 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Descrizione completa
? points 339 b
143.32 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Rauch, 2 DVDs Iwan S. Turgenjew / DVD
common.buy 20.54 €
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Libro
common.buy 3 642.88 €
Social Embeddedness of Industrial Ecology / In brossura
common.buy 57.90 €
Bachelor's Dream Duchess / In brossura
common.buy 26.54 €
Multiplicity in Unity Carlos M. Herrera / Rigido
common.buy 195.24 €
Rebecca`s Reward Lauraine Snelling / In brossura
common.buy 18.29 €
Women, Body, Illness Pamela Moss / Rigido
common.buy 219.00 €
Reform Medicaid First Thomas W. Grannemann / In brossura
common.buy 15.72 €
Computational Mechanics 95, 4 S.N. Atluri / In brossura
common.buy 123.09 €

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

Informazioni sul libro

Titolo completo Algebraic Methodology and Software Technology
Autore Maurice Nivat, Martin Wirsing
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1996
Numero di pagine 647
EAN 9783540614630
ISBN 354061463X
Codice Libristo 05274595
Casa editrice Springer, Berlin
Peso 850
Dimensioni 156 x 234 x 33

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

Accesso

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

 
obbligatorio
obbligatorio
Password dimenticata

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

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo