SULJE VALIKKO

avaa valikko

Roberto Gorrieri | Akateeminen Kirjakauppa

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



Formal Methods for Open Object-Based Distributed Systems - 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy
Tekijä: Roberto Gorrieri; Heike Wehrheim
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Introduction to Concurrency Theory : Transition Systems and CCS
Tekijä: Roberto Gorrieri; Cristian Versari
Kustantaja: Springer (2015)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Introduction to Concurrency Theory : Transition Systems and CCS
Tekijä: Roberto Gorrieri; Cristian Versari
Kustantaja: Springer (2016)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Tekijä: Roberto Gorrieri
Kustantaja: Springer (2017)
Saatavuus: Noin 17-20 arkipäivää
EUR   78,60
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Tekijä: Roberto Gorrieri
Kustantaja: Springer (2018)
Saatavuus: Noin 17-20 arkipäivää
EUR   78,60
Formal Methods for Open Object-Based Distributed Systems - IFIP TC6 / WG6.1 Third International Conference on Formal Methods for
Tekijä: Paolo Ciancarini; Alessandro Fantechi; Roberto Gorrieri
Kustantaja: Springer (1999)
Saatavuus: Noin 17-20 arkipäivää
EUR   172,80
Foundations of Security Analysis and Design - FOSAD 2006/2007 Turtorial Lectures
Tekijä: Alessandro Aldini; Roberto Gorrieri
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Foundations of Security Analysis and Design : Tutorial Lectures
Tekijä: Riccardo Focardi (ed.); Roberto Gorrieri (ed.)
Kustantaja: Springer (2001)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Foundations of Security Analysis and Design II : FOSAD 2001/2002 Tutorial Lectures
Tekijä: Riccardo Focardi (ed.); Roberto Gorrieri (ed.)
Kustantaja: Springer (2004)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Automata, Languages and Programming : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
Tekijä: Pierpaolo Degano (ed.); Roberto Gorrieri (ed.); Alberto Marchetti-Spaccamela (ed.)
Kustantaja: Springer (1997)
Saatavuus: Noin 17-20 arkipäivää
EUR   97,90
Foundations of Security Analysis and Design III - FOSAD 2004/2005 Tutorial Lectures
Tekijä: Alessandro Aldini; Roberto Gorrieri; Fabio Martinelli
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Saatavuus: Noin 17-20 arkipäivää
EUR   44,70
Foundations of Security Analysis and Design V - FOSAD 2008/2009 Tutorial Lectures
Tekijä: Alessandro Aldini; Gilles Barthe; Roberto Gorrieri
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Saatavuus: Noin 17-20 arkipäivää
EUR   45,70
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures
Tekijä: Alessandro Aldini; Roberto Gorrieri
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for
Tekijä: Paolo Ciancarini (ed.); Alessandro Fantechi (ed.); Roberto Gorrieri (ed.)
Kustantaja: Springer (2013)
Saatavuus: Noin 17-20 arkipäivää
EUR   172,80
Computational Methods in Systems Biology - 7th International Conference, CMSB 2009
Tekijä: Pierpaolo Degano; Roberto Gorrieri
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Saatavuus: Noin 17-20 arkipäivää
EUR   97,90
    
Formal Methods for Open Object-Based Distributed Systems - 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 276 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006
Julkaisuvuosi: 2006, 09.06.2006 (lisätietoa)
Kieli: Englanti
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Methods for Open Object-Based Distributed Systems - 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italyzoom
Näytä kaikki tuotetiedot
ISBN:
9783540348931
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste