KIRJAUDU

ostoskori

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

Roberto Gorrieri; Heike Wehrheim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja

49,60 €

INTRODUCTION TO CONCURRENCY THEORY : TRANSITION SYSTEMS AND CCS

Roberto Gorrieri; Cristian Versari
Springer (2015)
Kovakantinen kirja

49,60 €

INTRODUCTION TO CONCURRENCY THEORY : TRANSITION SYSTEMS AND CCS

Roberto Gorrieri; Cristian Versari
Springer (2016)
Pehmeäkantinen kirja

49,60 €

PROCESS ALGEBRAS FOR PETRI NETS : THE ALPHABETIZATION OF DISTRIBUTED SYSTEMS

Roberto Gorrieri
Springer (2017)
Kovakantinen kirja

78,60 €

PROCESS ALGEBRAS FOR PETRI NETS - THE ALPHABETIZATION OF DISTRIBUTED SYSTEMS

Roberto Gorrieri
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

78,60 €

FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS - IFIP TC6 / WG6.1 THIRD INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR

Paolo Ciancarini; Alessandro Fantechi; Roberto Gorrieri
Springer (1999)
Kovakantinen kirja

172,80 €

FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN - FOSAD 2006/2007 TURTORIAL LECTURES

Alessandro Aldini; Roberto Gorrieri
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN : TUTORIAL LECTURES

Riccardo Focardi (ed.); Roberto Gorrieri (ed.)
Springer (2001)
Pehmeäkantinen kirja

49,60 €

FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN II - FOSAD 2001/2002 TUTORIAL LECTURES

Riccardo Focardi; Roberto Gorrieri
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja

49,60 €

AUTOMATA, LANGUAGES AND PROGRAMMING : 24TH INTERNATIONAL COLLOQUIUM, ICALP'97, BOLOGNA, ITALY, JULY 7 - 11, 1997, PROCEEDINGS

Pierpaolo Degano (ed.); Roberto Gorrieri (ed.); Alberto Marchetti-Spaccamela (ed.)
Springer (1997)
Pehmeäkantinen kirja

97,90 €

FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN III - FOSAD 2004/2005 TUTORIAL LECTURES

Alessandro Aldini; Roberto Gorrieri; Fabio Martinelli
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja

44,70 €

COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY - 7TH INTERNATIONAL CONFERENCE, CMSB 2009

Pierpaolo Degano; Roberto Gorrieri
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

97,90 €

FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN V - FOSAD 2008/2009 TUTORIAL LECTURES

Alessandro Aldini; Gilles Barthe; Roberto Gorrieri
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

45,70 €

FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN VI - FOSAD TUTORIAL LECTURES

Alessandro Aldini; Roberto Gorrieri
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS : IFIP TC6 / WG6.1 THIRD INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR

Paolo Ciancarini (ed.); Alessandro Fantechi (ed.); Roberto Gorrieri (ed.)
Springer (2013)
Pehmeäkantinen kirja

172,80 €

Hae lisää...

Formal Methods for Open Object-Based Distributed Systems - 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy

Roberto Gorrieri, Heike Wehrheim

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
Tuotesarja: Programming and Software Engineering

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.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus