Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings - cover
Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings - cover
LIBRO INGLESE

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings

Rocco De Nicola (Curatore)
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007
135,10 € +1350 punti Effe
Venditore: Feltrinelli
Articolo acquistabile con Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Articolo acquistabile con Carta della Cultura
Carta della Cultura
Paga con Klarna in 3 rate senza interessi per ordini superiori a 39 €
Klarna
Dati e Statistiche
Salvato in 0 liste dei desideri
Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
Disponibilità in 2 settimane
135,10 €
135,10 €
Disponibilità in 2 settimane

Descrizione


This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.

Dettagli

Pagine:
542 p.
Testo in English
Dimensioni:
235 x 155 mm
EAN:
9783540713142

Questo prodotto lo trovi anche

Libri in inglese Science, Computer & Technology Computer Applications & Software Software Development & Engineering / General
Libri in inglese Science, Computer & Technology Computer Computer Programming Programming / General
Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare productsafety@feltrinelli.it

​