Articoli correlati a Web Services and Formal Methods: 9th International...

Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers: 7843 - Brossura

 
9783642382291: Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers: 7843
Brossura
ISBN 10: 3642382290 ISBN 13: 9783642382291
Casa editrice: Springer, 2013

Sinossi

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Web Service Modeling and Analysis with Petri Nets and CSP.- Formal Methods Applied to Service Discovery and Coordination.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2013
Lingua
Inglese
ISBN 10 
3642382290
ISBN 13 
9783642382291
Rilegatura
Copertina flessibile
Numero di pagine
164
Redattore
Ter Beek Maurice H., Lohmann Niels
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Compra usato

Condizioni: come nuovo
Unread book in perfect condition...
Visualizza questo articolo
9783642382291: Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers: 7843
EUR 112,92

Convertire valuta

EUR 17,31 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

Compra nuovo

Visualizza questo articolo
9783642382291: Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers: 7843
EUR 44,88

Convertire valuta

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9783642382314: Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Edizione in evidenza

ISBN 10:  3642382312 ISBN 13:  9783642382314
Casa editrice: Springer, 2013
Brossura

Risultati della ricerca per Web Services and Formal Methods: 9th International...

Immagini fornite dal venditore

Ter Beek, Maurice H.|Lohman, Niels
ISBN 10: 3642382290 ISBN 13: 9783642382291
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held. Codice articolo 5058898

Contatta il venditore

Compra nuovo

EUR 44,88
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Niels Lohmann
ISBN 10: 3642382290 ISBN 13: 9783642382291
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets. 164 pp. Englisch. Codice articolo 9783642382291

Contatta il venditore

Compra nuovo

EUR 49,22
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2013
ISBN 10: 3642382290 ISBN 13: 9783642382291
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783642382291_new

Contatta il venditore

Compra nuovo

EUR 52,46
Convertire valuta
Spese di spedizione: EUR 10,38
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Niels Lohmann
ISBN 10: 3642382290 ISBN 13: 9783642382291
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets. Codice articolo 9783642382291

Contatta il venditore

Compra nuovo

EUR 49,22
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Niels Lohmann
ISBN 10: 3642382290 ISBN 13: 9783642382291
Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch. Codice articolo 9783642382291

Contatta il venditore

Compra nuovo

EUR 49,22
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Ter Beek, Maurice H. (EDT); Lohman, Niels (EDT)
Editore: Springer, 2013
ISBN 10: 3642382290 ISBN 13: 9783642382291
Nuovo Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 19777417-n

Contatta il venditore

Compra nuovo

EUR 48,93
Convertire valuta
Spese di spedizione: EUR 17,16
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Ter Beek, Maurice H. (EDT); Lohman, Niels (EDT)
Editore: Springer, 2013
ISBN 10: 3642382290 ISBN 13: 9783642382291
Nuovo Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 19777417-n

Contatta il venditore

Compra nuovo

EUR 52,45
Convertire valuta
Spese di spedizione: EUR 17,31
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

ter Beek, Maurice H.
Editore: Springer 2013-04, 2013
ISBN 10: 3642382290 ISBN 13: 9783642382291
Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

PF. Condizione: New. Codice articolo 6666-IUK-9783642382291

Contatta il venditore

Compra nuovo

EUR 50,22
Convertire valuta
Spese di spedizione: EUR 23,07
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2013
ISBN 10: 3642382290 ISBN 13: 9783642382291
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 164. Codice articolo 2658583076

Contatta il venditore

Compra nuovo

EUR 69,55
Convertire valuta
Spese di spedizione: EUR 7,73
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

ter Beek, Maurice H. (Edited by)/ Lohmann, Niels (Edited by)
Editore: Springer, 2013
ISBN 10: 3642382290 ISBN 13: 9783642382291
Nuovo Paperback

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 2013 edition. 160 pages. 9.25x6.10x0.37 inches. In Stock. Codice articolo x-3642382290

Contatta il venditore

Compra nuovo

EUR 69,65
Convertire valuta
Spese di spedizione: EUR 11,54
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Vedi altre 6 copie di questo libro

Vedi tutti i risultati per questo libro