Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings

Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings

Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings

Barcode: 09783540792307
Brand: Springer Berlin Heidelberg
Best Priced
sold by Hive Books
Hive Books
£38.24
Visit Store
Hive Books
Hive Books
£38.24
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Springer Berlin Heidelberg

Computer Networks : 18th Conference, CN 2011, Ustron, Poland, June 14-18, 2011. Proceedings
Computer Networks : 18th Conference, CN 2011, Ustron, Poland, June 14-18, 2011. Proceedings
from £76.08
Integrated Computing Technology : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31-June 2, 2011,Proceedings
Integrated Computing Technology : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31-June 2, 2011,Proceedings
from £38.24
Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings
Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings
from £76.08
Critical Information Infrastructure Security : 5th International Workshop, CRITIS 2010, Athens, Greece, September 2010, Revised Papers
Critical Information Infrastructure Security : 5th International Workshop, CRITIS 2010, Athens, Greece, September 2010, Revised Papers
from £38.24
Enabling Responsible Living
Enabling Responsible Living
from £76.08
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
from £38.24
Software Business : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011, Proceedings
Software Business : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011, Proceedings
from £38.24
Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings
Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings
from £38.24
Fast Software Encryption : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers
Fast Software Encryption : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers
from £38.24
Smart Power Grids 2011
Smart Power Grids 2011
from £152.58
Measuring Roots : An Updated Approach
Measuring Roots : An Updated Approach
from £152.58
Strongly Correlated Systems : Theoretical Methods
Strongly Correlated Systems : Theoretical Methods
from £169.58
Cusped Shell-Like Structures
Cusped Shell-Like Structures
from £38.24
Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
from £38.24
Security Protocols XVI : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
Security Protocols XVI : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
from £38.24
Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings
Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings
from £38.24
Multiple Classifier Systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings
Multiple Classifier Systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings
from £38.24
Modeling Fragile X Syndrome
Modeling Fragile X Syndrome
from £152.58
Pattern Recognition : Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings
Pattern Recognition : Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings
from £38.24
Financial Derivatives Modeling
Financial Derivatives Modeling
from £38.24

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
from £38.24
Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
from £38.24
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madri
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madri
from £32.29
Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
from £38.24
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
from £33.99
Web Services and Formal Methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
Web Services and Formal Methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
from £38.24
Web Services and Formal Methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Web Services and Formal Methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
from £38.24
Business Process Management : 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings
Business Process Management : 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings
from £38.24
Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
from £29.74
Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versaill
Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versaill
from £38.24
Technologies for E-Services : 4th International Workshop, TES 2003, Berlin, Germany, September 8, 2003, Proceedings
Technologies for E-Services : 4th International Workshop, TES 2003, Berlin, Germany, September 8, 2003, Proceedings
from £38.24
Formal Methods and Stochastic Models for Performance Evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
Formal Methods and Stochastic Models for Performance Evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
from £38.24
Grid Economics and Business Models : 4th International Workshop, GECON 2007, Rennes, France, August 28, 2007, Proceedings
Grid Economics and Business Models : 4th International Workshop, GECON 2007, Rennes, France, August 28, 2007, Proceedings
from £38.24
Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
from £38.24
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007 : 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007 : 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I
from £110.08
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007 : 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007 : 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II
from £76.08
Reachability Problems : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
Reachability Problems : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
from £38.24
Virtual Systems and Multimedia : 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers
Virtual Systems and Multimedia : 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers
from £38.24
Web and Wireless Geographical Information Systems : 7th International Symposium, W2GIS 2007, Cardiff, UK, November 28-29, 2007, Proceedings
Web and Wireless Geographical Information Systems : 7th International Symposium, W2GIS 2007, Cardiff, UK, November 28-29, 2007, Proceedings
from £38.24
Serious Games : Second Joint International Conference, JCSG 2016, Brisbane, QLD, Australia, September 26-27, 2016, Proceedings
Serious Games : Second Joint International Conference, JCSG 2016, Brisbane, QLD, Australia, September 26-27, 2016, Proceedings
from £38.24