[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

Recent Trends in Data Type Specification

Lingua IngleseInglese
Libro In brossura
Libro Recent Trends in Data Type Specification Hartmut Ehrig
Codice Libristo: 02092603
Casa editrice Springer, Berlin, novembre 1990
The algebraic specification of abstract data types is now awell establishedresearch topic in compute... Descrizione completa
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

On the Edge of the Primeval Forest - Experiences and Observations of a Doctor in Equatorial Africa Schweitzer / In brossura
common.buy 37.67 €
Blockchain Tony Scott / Rigido
common.buy 44.84 €
Molecular Mimicry: Infection Inducing Autoimmune Disease Michael Oldstone / Rigido
common.buy 361.69 €
Interventions in Learning Disabilities Rachel Schiff / Rigido
common.buy 181.86 €
Remember 3D, Blu-ray Christopher Donaldson / Blu-ray
common.buy 22.79 €
Hieroglyphics Jill Mccorkle / Rigido
common.buy 27.39 €
Ordsprog og vendinger Hj / In brossura
common.buy 21.93 €

The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software.The Seventh Workshop on Specification of Abstract Data Typestook place in Wusterhausen/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic ResearchWorking Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets.

Informazioni sul libro

Titolo completo Recent Trends in Data Type Specification
Autore Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1991
Numero di pagine 384
EAN 9783540544968
ISBN 3540544968
Codice Libristo 02092603
Casa editrice Springer, Berlin
Peso 638
Dimensioni 155 x 233 x 20

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Architettura dell’informazione
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Database > Progettazione e teoria dei database
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
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