Gianluigi Zavattaro | Akateeminen Kirjakauppa

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

WEB SERVICES AND FORMAL METHODS - THIRD INTERNATIONAL WORKSHOP, WS-FM 2006, VIENNA, AUSTRIA, SEPTEMBER 8-9, 2006, PROCEEDINGS

Mario Bravetti; Manuel Núñez; Gianluigi Zavattaro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS - 7TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FMOODS 2005, ATHENS, GREECE

Martin Steffen; Gianluigi Zavattaro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja

49,60 €

FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES - EUROPEAN PERFORMANCE ENGINEERING WORKSHOP, EPEW 2005 AND INTERNA

Mario Bravetti; Leila Kloul; Gianluigi Zavattaro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja

49,60 €

COORDINATION MODELS AND LANGUAGES - 10TH INTERNATIONAL CONFERENCE, COORDINATION 2008, OSLO, NORWAY, JUNE 4-6, 2008, PROCEEDINGS

Doug Lea; Gianluigi Zavattaro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR COMPUTATIONAL SYSTEMS BIOLOGY - 8TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUN

Marco Bernardo; Pierpaolo Degano; Gianluigi Zavattaro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR WEB SERVICES - 9TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION AND SOFTW

Marco Bernardo; Luca Padovani; Gianluigi Zavattaro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

45,70 €

CONCUR 2009 - CONCURRENCY THEORY - 20TH INTERNATIONAL CONFERENCE, CONCUR 2009, BOLOGNA, ITALY, SEPTEMBER 1-4, 2009, PROCEEDINGS

Mario Bravetti; Gianluigi Zavattaro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

97,90 €

SERVICE-ORIENTED AND CLOUD COMPUTING - FIRST EUROPEAN CONFERENCE, ESOCC 2012, BERTINORO, ITALY, SEPTEMBER 19-21, 2012, PROCEEDIN

Flavio De Paoli; Ernesto Pimentel; Gianluigi Zavattaro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

45,80 €

Web Services and Formal Methods - Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 289 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006
Julkaisuvuosi: 2006, 04.09.2006 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus