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 (ed.); Manuel Núñez (ed.); Gianluigi Zavattaro (ed.)
Springer (2006)
Pehmeäkantinen kirja

51,40 €

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

Mario Bravetti (ed.); Leila Kloul (ed.); Gianluigi Zavattaro (ed.)
Springer (2005)
Pehmeäkantinen kirja

51,40 €

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

Mario Bravetti (ed.); Gianluigi Zavattaro (ed.)
Springer (2009)
Pehmeäkantinen kirja

101,40 €

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

Mario Bravetti (ed.); Tevfik Bultan (ed.)
Springer (2011)
Pehmeäkantinen kirja

51,40 €

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

51,40 €

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

105,20 €

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

Mario Bravetti (ed.), Manuel Núñez (ed.), Gianluigi Zavattaro (ed.)

51,40 €

Springer
Sivumäärä: 289 sivua
Asu: Pehmeäkantinen kirja
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

Myymäläsaatavuus