KIRJAUDU

ostoskori

avaa valikko

Roberto+Gorrieri | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 16 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

51,40 €

INTRODUCTION TO CONCURRENCY THEORY - TRANSITION SYSTEMS AND CCS

Roberto Gorrieri; Cristian Versari
Springer International Publishing AG (2015)
Kovakantinen kirja

51,40 €

INTRODUCTION TO CONCURRENCY THEORY - TRANSITION SYSTEMS AND CCS

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

51,40 €

PROCESS ALGEBRAS FOR PETRI NETS - THE ALPHABETIZATION OF DISTRIBUTED SYSTEMS

Roberto Gorrieri
Springer International Publishing AG (2017)
Kovakantinen kirja

81,40 €

PROCESS ALGEBRAS FOR PETRI NETS - THE ALPHABETIZATION OF DISTRIBUTED SYSTEMS

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

81,40 €

SYNTAX AND SEMANTICS OF PETRI NETS

Roberto Gorrieri
Cambridge University Press (2025)
Kovakantinen kirja

145,20 €

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

179,00 €

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

51,40 €

FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN - TUTORIAL LECTURES

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

51,40 €

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

51,40 €

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

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

101,40 €

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

46,30 €

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

101,40 €

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

47,30 €

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

51,40 €

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-Verlag New York Inc. (2013)
Pehmeäkantinen kirja

179,00 €

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

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 276 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006 ed.
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 3-4 viikossa

Myymäläsaatavuus