Web Services and Formal Methods
7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
AvTevfik Bultan,Mario Bravetti
E-bok
PDF, Engelska, 2011708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
String Analysis for Software Verification and Security
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin
Häftad, 2019
727 kr
String Analysis for Software Verification and Security
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin
Inbunden, 2018
1 003 kr
Software Engineering and Formal Methods
Mario Bravetti, Mercedes G. Merayo, Robert M. Hierons
E-bok
2013708 kr
Formal Techniques for Computer Systems and Business Processes
Gianluigi Zavattaro, Leila Kloul, Mario Bravetti
E-bok
2005714 kr
String Analysis for Software Verification and Security
Abdulbaki Aydin, Muath Alkhalaf, Fang Yu, Tevfik Bultan
E-bok
2018865 kr