Mario Bravetti | Akateeminen Kirjakauppa

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

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 €

WEB SERVICES AND FORMAL METHODS - 7TH INTERNATIONAL WORKSHOP, WS-FM 2010, HOBOKEN, NJ, USA, SEPTEMBER 16-17, 2010. REVISED SELE

Mario Bravetti; Tevfik Bultan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

49,60 €

SOFTWARE ENGINEERING AND FORMAL METHODS - 11TH INTERNATIONAL CONFERENCE, SEFM 2013, MADRID, SPAIN, SEPTEMBER 25-27, 2013, PROCEE

Robert M. Hierons; Mercedes G. Merayo; Mario Bravetti
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

49,60 €

BEHAVIORAL TYPES IN PROGRAMMING LANGUAGES

Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Gesbert
now publishers Inc (2016)
Pehmeäkantinen kirja

101,00 €

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