Rocco de Nicola (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

PROGRAMMING LANGUAGES AND SYSTEMS : 16TH EUROPEAN SYMPOSIUM ON PROGRAMMING, ESOP 2007, HELD AS PART OF THE JOINT EUROPEAN CONFER

De Nicola; Rocco (ed.)
Springer (2007)
Pehmeäkantinen kirja

101,40 €

TRUSTWORTHY GLOBAL COMPUTING : INTERNATIONAL SYMPOSIUM, TGC 2005, EDINBURGH, UK, APRIL 7-9, 2005. REVISED SELECTED PAPERS

Rocco De Nicola (ed.); Davide Sangiorgi (ed.)
Springer (2005)
Pehmeäkantinen kirja

51,40 €

CONCURRENCY, GRAPHS AND MODELS : ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY

Pierpaolo Degano (ed.); Rocco de Nicola (ed.); José Meseguer (ed.)
Springer (2008)
Pehmeäkantinen kirja

101,40 €

Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Confer

De Nicola, Rocco (ed.)

101,40 €

Springer
Sivumäärä: 542 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2007, 08.03.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus