1- 20 of 913 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings / Edition 1, Author: Jonathan P. Bowen
QUICK ADD
ZUM '98: The Z Formal…
by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
#1493 in Series
Paperback $54.99
Title: Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992, Author: J.P. Bowen
QUICK ADD
Z User Workshop, London 1992:…
by J.P. Bowen (Editor), J.E. Nicholls (Editor)
Explore Series
Paperback $54.99
Title: Write Powerful Rust Macros, Author: Sam Van Overmeire
QUICK ADD
Write Powerful Rust Macros
by Sam Van Overmeire
Paperback $59.99
Title: What Every Engineer Should Know about Software Engineering, Author: Phillip A. Laplante
QUICK ADD
What Every Engineer Should…
by Phillip A. Laplante, Mohamad Kassab
Explore Series
Paperback $62.99
Title: What Computing Is All About / Edition 1, Author: Jan L.A.van de Snepscheut
QUICK ADD
What Computing Is All About /…
by Jan L.A.van de Snepscheut
Explore Series
Paperback $89.99
Title: We Just Build Hammers: Stories from the Past, Present, and Future of Responsible Tech, Author: Coraline Ada Ehmke
QUICK ADD
We Just Build Hammers: Stories…
by Coraline Ada Ehmke
Paperback $59.99
Title: Visual Database Systems 4: IFIP TC2 / WG2.6 Fourth Working Conference on Visual Database Systems 4 (VDB4) 27-29 May 1998, L'Aquila, Italy, Author: Yannis Ioannidis
QUICK ADD
Visual Database Systems 4:…
by Yannis Ioannidis (Editor), Wolfgang Klas (Editor)
Explore Series
Paperback $219.99
Title: Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings, Author: Gary T. Leavens
QUICK ADD
Verified Software: Theories,…
by Gary T. Leavens (Editor), Peter O'Hearn (Editor), Sriram K Rajamani (Editor)
#6217 in Series
Paperback $54.99
Title: Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, Author: Arie Gurfinkel
QUICK ADD
Verified Software: Theories,…
by Arie Gurfinkel, Sanjit A. Seshia
#9593 in Series
Paperback $54.99
Title: Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, Author: Dimitra Giannakopoulou
QUICK ADD
Verified Software: Theories,…
by Dimitra Giannakopoulou, Daniel Kroening
#8471 in Series
Paperback $54.99
Title: Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, Author: Andrei Paskevich
QUICK ADD
Verified Software. Theories,…
by Andrei Paskevich, Thomas Wies
#10712 in Series
Paperback $54.99
Title: Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, Author: Sandrine Blazy
QUICK ADD
Verified Software. Theories,…
by Sandrine Blazy, Marsha Chechik
#9971 in Series
Paperback $54.99
Title: Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, Author: Supratik Chakraborty
QUICK ADD
Verified Software. Theories,…
by Supratik Chakraborty, Jorge A. Navas
#12031 in Series
Paperback $54.99
Title: Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Author: Ruzica Piskac
QUICK ADD
Verified Software. Theories,…
by Ruzica Piskac, Philipp Rümmer
#11294 in Series
Paperback $54.99
Title: Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / Edition 1, Author: Radhia Cousot
QUICK ADD
Verification, Model Checking,…
by Radhia Cousot
#3385 in Series
Paperback $54.99
Title: VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings / Edition 1, Author: Dines Bjïrner
QUICK ADD
VDM '87. VDM - A Formal Method…
by Dines Bjïrner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold
#252 in Series
Paperback $54.99
Title: Variational Object-Oriented Programming Beyond Classes and Inheritance, Author: Mira Mezini
QUICK ADD
Variational Object-Oriented…
by Mira Mezini
#470 in Series
Paperback $169.99
Title: Usability- and Accessibility-Focused Requirements Engineering: First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014,, Author: Achim Ebert
QUICK ADD
Usability- and…
by Achim Ebert, Shah Rukh Humayoun, Norbert Seyff, Anna Perini, Simone D.J. Barbosa
#9312 in Series
Paperback $54.99
Title: Understanding Human Activities Through 3D Sensors: Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers, Author: Hazem Wannous
QUICK ADD
Understanding Human Activities…
by Hazem Wannous, Pietro Pala, Mohamed Daoudi, Francisco Flórez-Revuelta
#10188 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers / Edition 1, Author: Marino Miculan
QUICK ADD
Types for Proofs and Programs:…
by Marino Miculan, Ivan Scagnetto, Furio Honsell
#4941 in Series
Paperback $54.99

Pagination Links