1- 20 of 200 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: Visual Database Systems 4: IFIP TC2 / WG2.6 Fourth Working Conference on Visual Database Systems 4 (VDB4) 27-29 May 1998, L'Aquila, Italy / Edition 1, Author: Yannis Ioannidis
QUICK ADD
Visual Database Systems 4:…
by Yannis Ioannidis, Wolfgang Klas
Explore Series
Hardcover $219.99
Title: Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models, Author: Mourad Debbabi
QUICK ADD
Verification and Validation in…
by Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
Paperback $139.99
Title: UNIX-Systemadministration: Linux, Solaris, AIX, FreeBSD, Tru64-UNIX / Edition 1, Author: Konrad Heuer
QUICK ADD
UNIX-Systemadministration:…
by Konrad Heuer, Reinhard Sippel
Explore Series
Hardcover $129.99
Title: Ubiquitous Computing and Intelligent Systems, Author: Boris Vega
QUICK ADD
Ubiquitous Computing and…
by Boris Vega
Hardcover $155.00
Title: Trustworthy Software Development Processes: International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings / Edition 1, Author: Qing Wang
QUICK ADD
Trustworthy Software…
by Qing Wang, Vahid Garousi, Raymond Madachy, Dietmar Pfahl
#5543 in Series
Paperback $54.99
Title: Transactions on Petri Nets and Other Models of Concurrency XI, Author: Maciej Koutny
QUICK ADD
Transactions on Petri Nets and…
by Maciej Koutny, Jörg Desel, Jetty Kleijn
#9930 in Series
Paperback $54.99
Title: Towards Extensible and Adaptable Methods in Computing, Author: Shampa Chakraverty
QUICK ADD
Towards Extensible and…
by Shampa Chakraverty, Anil Goel, Sanjay Misra
Hardcover $109.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / Edition 1, Author: Stefan Kowalewski
QUICK ADD
Tools and Algorithms for the…
by Stefan Kowalewski, Anna Philippou
#5505 in Series
Paperback $54.99
Title: Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings, Author: Esther Guerra
QUICK ADD
Theory and Practice of Model…
by Esther Guerra, Mark van den Brand
#10374 in Series
Paperback $54.99
Title: The Science of Programming / Edition 1, Author: David Gries
QUICK ADD
The Science of Programming /…
by David Gries
Explore Series
Paperback $99.99
Title: The Munich Project CIP: Volume II: The Programme Transformation System CIP-S / Edition 1, Author: Springer Berlin Heidelberg
QUICK ADD
The Munich Project CIP: Volume…
by Springer Berlin Heidelberg
#292 in Series
Paperback $54.99
Title: The IOTA Programming System: A Modular Programming Environment / Edition 1, Author: R. Nakajima
QUICK ADD
The IOTA Programming System: A…
by R. Nakajima, T. Yuasa
#160 in Series
Paperback $54.99
Title: The Future of Software Engineering, Author: Sebastian Nanz
QUICK ADD
The Future of Software…
by Sebastian Nanz
Paperback $54.99
Title: The Correctness-by-Construction Approach to Programming, Author: Derrick G. Kourie
QUICK ADD
The…
by Derrick G. Kourie, Bruce W. Watson
Paperback $109.99
Title: The China Information Technology Handbook / Edition 1, Author: Patricia Ordïïez de Pablos
QUICK ADD
The China Information…
by Patricia Ordïïez de Pablos, Miltiadis D. Lytras
Hardcover $219.99
Title: The Art of Software Innovation: Eight Practice Areas to Inspire your Business, Author: Minna Pikkarainen
QUICK ADD
The Art of Software Innovation…
by Minna Pikkarainen, Wim Codenie, Nick Boucart, Josï Antonio Heredia Alvaro
Paperback $54.99
Title: The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs / Edition 1, Author: W. Dehning
QUICK ADD
The Adaption of Virtual…
by W. Dehning, H. Essig, S. Maass
#110 in Series
Paperback $54.99
Title: Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, Author: Sebastian Gabmeyer
QUICK ADD
Tests and Proofs: 11th…
by Sebastian Gabmeyer, Einar Broch Johnsen
#10375 in Series
Paperback $54.99
Title: Testing Software and Systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, Author: Mercedes G. Merayo
QUICK ADD
Testing Software and Systems:…
by Mercedes G. Merayo, Edgardo Montes de Oca
#8763 in Series
Paperback $54.99

Pagination Links