Elementum Journal : Roots 3
Jay Armstrong
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£15.00
£14.39
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketMillennial Perspectives in Computer Science : Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare
Jim Davies
Item not Available
Format: Book (Hardback)
£88.99
£83.15
Item not Available
Book (Hardback)
Software Engineering for Robotics
Ana Cavalcanti
Download - Immediately Available
Format: eBook (PDF)
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
Shengchao Qin
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£64.99
£59.05
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketFormal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Jin Song Dong
Download - Immediately Available
Format: eBook (PDF)
Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Ana Cavalcanti
Download - Immediately Available
Format: eBook (PDF)
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Bertrand Meyer
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Bertrand Meyer
Download - Immediately Available
Format: eBook (PDF)
Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Chris George
Item not Available
Format: Book (Paperback / softback)
£53.99
£45.25
Item not Available
Book (Paperback / softback)
Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Chris George
Download - Immediately Available
Format: eBook (PDF)
Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Cliff B. Jones
Item not Available
Format: Book (Paperback / softback)
£90.00
£73.79
Item not Available
Book (Paperback / softback)
Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Cliff B. Jones
Download - Immediately Available
Format: eBook (PDF)
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
Natarajan Shankar
Item not Available
Format: Book (Paperback / softback)
£53.99
£45.25
Item not Available
Book (Paperback / softback)
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
Natarajan Shankar
Download - Immediately Available
Format: eBook (PDF)
Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Marcel Vinicius Medeiros Oliveira
Item not Available
Format: Book (Paperback / softback)
£67.99
£56.35
Item not Available
Book (Paperback / softback)
Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Marcel Vinicius Medeiros Oliveira
Download - Immediately Available
Format: eBook (PDF)
Theoretical Aspects of Computing : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Ana Cavalcanti
Download - Immediately Available
Format: eBook (PDF)
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Zhiming Liu
Out of stock
Format: Book (Paperback / softback)
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Zhiming Liu
Download - Immediately Available
Format: eBook (PDF)
Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Zhiming Liu
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.05
Item not Available
Book (Paperback / softback)
Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Zhiming Liu
Download - Immediately Available
Format: eBook (PDF)