Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Dang van Hung
Item not Available
Format: Book (Paperback / softback)
£79.99
£65.85
Item not Available
Book (Paperback / softback)
Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Martin Erwig
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketPractical Aspects of Declarative Languages : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Matthew Flatt
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.05
Item not Available
Book (Paperback / softback)
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
Stephen Poole
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketMeasurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceeding
Kai Fischbach
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.15
Item not Available
Book (Paperback / softback)
Requirements Engineering: Foundation for Software Quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
Camille Salinesi
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketNASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Julia M. Badger
Item not Available
Format: Book (Paperback / softback)
£64.99
£53.95
Item not Available
Book (Paperback / softback)
FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Cliff Jones
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
Service-Oriented Computing--ICSOC 2013 Workshops : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers
Alessio Lomuscio
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Jose Luiz Fiadeiro
Out of stock
Format: Book (Paperback / softback)
Reliable Software Technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Laurent George
Out of stock
Format: Book (Paperback / softback)
Modelling Foundations and Applications : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Jordi Cabot
Item not Available
Format: Book (Paperback / softback)
£39.99
£34.15
Item not Available
Book (Paperback / softback)
Rules on the Web: From Theory to Applications : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, Au
Antonis Bikakis
Item not Available
Format: Book (Paperback / softback)
£49.99
£40.99
Item not Available
Book (Paperback / softback)
Software Architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Paris Avgeriou
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.05
Item not Available
Book (Paperback / softback)
Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Dimitra Giannakopoulou
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.05
Item not Available
Book (Paperback / softback)
Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Frederic Lang
Item not Available
Format: Book (Paperback / softback)
£39.99
£34.15
Item not Available
Book (Paperback / softback)
Model-Driven Engineering Languages and Systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings
Juergen Dingel
Item not Available
Format: Book (Paperback / softback)
£74.99
£61.89
Item not Available
Book (Paperback / softback)
Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Franck Cassez
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.05
Item not Available
Book (Paperback / softback)
Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Dimitra Giannakopoulou
Out of stock
Format: Book (Paperback / softback)
Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Frank Ortmeier
Out of stock
Format: Book (Paperback / softback)
Software Engineering for Resilient Systems : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
Istvan Majzik
Out of stock
Format: Book (Paperback / softback)
Software Reuse for Dynamic Systems in the Cloud and Beyond : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Ina Schaefer
Item not Available
Format: Book (Paperback / softback)
£49.99
£40.99
Item not Available
Book (Paperback / softback)
Mathematical and Engineering Methods in Computer Science : 9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17--19, 2014, Revised Selected Papers
Petr Hlineny
Item not Available
Format: Book (Paperback / softback)
£34.99
£30.75
Item not Available
Book (Paperback / softback)
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings
Christiano Braga
Item not Available
Format: Book (Paperback / softback)
£34.99
£30.75
Item not Available
Book (Paperback / softback)