Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
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 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Mathematics of Program Construction

8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Mathematics of Program Construction Tarmo Uustalu
Codice Libristo: 01562278
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2006
This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of... Descrizione completa
? points 141 b
57.79 €
Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

I migliori
Puzzle panoramiczne 1000 Galaxy 2 / Gioco/giocattolo Puzzle
common.buy 9.69 €
Život bez peněz Mark Sundeen / Libro Libro
common.buy 10.99 €
Písanka 2 pro 3. ročník základní školy Jitka Halasová / Libro In brossura
common.buy 1.79 €
Tableau Seculaire de la Societe d'Agriculture de Tours, 1761-1861 CHEVALIER-C / Libro In brossura
common.buy 13.19 €
Rychlé keto pokrmy za 30 minut nebo ještě míň Martina Slajerova / Libro In brossura
common.buy 5.09 €
L'étranger/e et son avocat/e gisti / Libro In brossura
common.buy 8.09 €

This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. The book collects 22 revised full papers presented with 3 invited talks. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.

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.

Informazioni sul libro

Titolo completo Mathematics of Program Construction
Autore Tarmo Uustalu
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2006
Numero di pagine 458
EAN 9783540356318
ISBN 3540356312
Codice Libristo 01562278
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1440
Dimensioni 155 x 235 x 29

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente
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 > Scienza dei calcolatori > Teoria matematica della computazione
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

Potrebbe interessarti anche

Prisma Fusion A1 + A2 Club Prisma Team / Libro In brossura
common.buy 26.99 €
Democracy in Europe Vivien A. Schmidt / Libro Rigido
common.buy 110.49 €
In preparazione
What the Doctor Needs to Know in Order to Make a Successful Prescription J. T. Kent / Libro In brossura
common.buy 2.59 €
New Breakthrough Prayers Reverend Peter O. Adenmosun / Libro In brossura
common.buy 11.99 €
Introduction to Quantitative Methods for Historians Roderick Floud / Libro elettronico Adobe ePub DRM
common.buy 72.09 €
Guinea-Pig Party Holly Webb / Libro elettronico Adobe ePub DRM
common.buy 5.69 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?