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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Beek, Maurice H. ter (Επιμελητής έκδοσης), Lohmann, Niels (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Lecture Notes in Computer Science, 7843
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; User interfaces (Computer systems).; Management information systems.; Computer Science.; Information Systems Applications (incl. Internet).; Software Engineering.; Management of Computing and Information Systems.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; User Interfaces and Human Computer Interaction.

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 s...