Rocco de Nicola | Akateeminen Kirjakauppa

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

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

Rocco De Nicola
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

COORDINATION MODELS AND LANGUAGES : 6TH INTERNATIONAL CONFERENCE, COORDINATION 2004, PISA, ITALY, FEBRUARY 24-27, 2004, PROCEEDI

Rocco De Nicola (ed.); Gianluigi Ferrari (ed.); Greg Meredith (ed.)
Springer (2004)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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

Rocco De Nicola; Davide Sangiorgi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

COORDINATION MODELS AND LANGUAGES - 15TH INTERNATIONAL CONFERENCE, COORDINATION 2013, HELD AS A PART OF THE 8TH INTERNATIONAL FE

Rocco De Nicola; Christine Julien
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

SOFTWARE ENGINEERING AND FORMAL METHODS : 14TH INTERNATIONAL CONFERENCE, SEFM 2016, HELD AS PART OF STAF 2016, VIENNA, AUSTRIA,

Rocco De Nicola (ed.); Eva Kühn (ed.)
Springer (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

SOFTWARE, SERVICES, AND SYSTEMS : ESSAYS DEDICATED TO MARTIN WIRSING ON THE OCCASION OF HIS RETIREMENT FROM THE CHAIR OF PROGRAM

Rocco De Nicola (ed.); Rolf Hennicker (ed.)
Springer (2015)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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

Pierpaolo Degano; Rocco de Nicola; José Meseguer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

FORMAL METHODS FOR THE QUANTITATIVE EVALUATION OF COLLECTIVE ADAPTIVE SYSTEMS - 16TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR

Marco Bernardo; Rocco De Nicola; Jane Hillston
Springer International Publishing AG (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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

Rocco De Nicola

97,90 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 542 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 08.03.2007 (lisätietoa)
Kieli: Englanti

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