Showing 1 - 16 (of 16)
Refine
Elementum Journal : Roots 3 - Book

Elementum Journal : Roots 3

Jay Armstrong

In StockFree UK DeliveryEstimated delivery 2-3 working days

Format: Book (Paperback / softback)

£15.00

£13.62

In StockFree UK DeliveryEstimated delivery 2-3 working days

Book (Paperback / softback)

Add to Basket
Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers - eBook

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 Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Theoretical Aspects of Computing : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings - eBook

Theoretical Aspects of Computing : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Ana Cavalcanti

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday - eBook

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Zhiming Liu

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings - eBook

Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Zhiming Liu

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures - eBook

Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Zhiming Liu

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Something Complete and Great : The Centennial Study of My Antonia - eBook

Something Complete and Great : The Centennial Study of My Antonia

Holly Blackford Humes

Download Now

Format: eBook (EPUB)

£37.00

£33.30

Download Now

eBook (EPUB)

Add to Basket
Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings - eBook

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Jin Song Dong

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures - eBook

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 Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
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 - eBook

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 Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures - eBook

Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Chris George

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - eBook

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 Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings - eBook

Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Natarajan Shankar

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings - Book

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

£47.40

Available to Order - This title is available to order, with delivery expected within 2 weeks

Book (Paperback / softback)

Add to Basket
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings - eBook

Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings

Shengchao Qin

Download Now

Format: eBook (EPUB)

£64.99

£55.24

Download Now

eBook (EPUB)

Add to Basket
Software Engineering for Robotics - eBook

Software Engineering for Robotics

Ana Cavalcanti

Download Now

Format: eBook (PDF)

£105.50

£89.68

Download Now

eBook (PDF)

Add to Basket
Showing 1 - 16 (of 16)
Refine