981- 1000 of 2358 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, Author: Ahmed Bouajjani
QUICK ADD
Automated Technology for…
by Ahmed Bouajjani (Editor), Lukás Holík (Editor), Zhilin Wu (Editor)
#13505 in Series
Paperback $84.99
Title: Achieving Quality in Software: Proceedings of the third international conference on achieving quality in software, 1996, Author: S. Bologna
QUICK ADD
Achieving Quality in Software:…
by S. Bologna (Editor), G. Bucci (Editor)
Explore Series
Hardcover $219.99
Title: Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation: XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers, Author: Torgeir Dingsøyr
QUICK ADD
Agile Methods. Large-Scale…
by Torgeir Dingsøyr (Editor), Nils Brede Moe (Editor), Roberto Tonelli (Editor), Steve Counsell (Editor), Cigdem Gencel (Editor)
#199 in Series
Paperback $54.99
Title: Software Architecture: 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings, Author: Bedir Tekinerdogan
QUICK ADD
Software Architecture: 17th…
by Bedir Tekinerdogan (Editor), Catia Trubiani (Editor), Chouki Tibermacine (Editor), Patrizia Scandurra (Editor), Carlos E. Cuesta (Editor)
#14212 in Series
eBook $74.99
Title: Theory and Practice of Model Transformation: 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, Author: Arend Rensink
QUICK ADD
Theory and Practice of Model…
by Arend Rensink (Editor), Jesús Sánchez Cuadrado (Editor)
#10888 in Series
eBook $54.99
Title: The School of Niklaus Wirth: The Art of Simplicity, Author: Laszlo Boszormenyi
QUICK ADD
The School of Niklaus Wirth:…
by Laszlo Boszormenyi (Editor), Jurg Gutknecht (Editor), Gustav Pomberger (Editor)
Hardcover $81.95
Title: Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey, Author: Marcello M. Bonsangue
QUICK ADD
Formal Methods for Components…
by Marcello M. Bonsangue (Editor), Eric Madelaine (Editor)
#5751 in Series
Paperback $54.99
Title: Software-Qualit�t, Author: Dirk W. Hoffmann
QUICK ADD
Software-Qualit�t
by Dirk W. Hoffmann
Explore Series
Paperback $59.99
Title: Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992, Author: V.S. Alagar
QUICK ADD
Formal Methods in Databases…
by V.S. Alagar (Editor), Laks V.S. Lakshmanan (Editor), F. Sadri (Editor)
Explore Series
Paperback $54.99
Title: Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for Web…
by Marco Bernardo (Editor), Luca Padovani (Editor), Gianluigi Zavattaro (Editor)
#5569 in Series
Paperback $69.95
Title: A Practical Approach to Software Quality, Author: Gerard O'Regan
QUICK ADD
A Practical Approach to…
by Gerard O'Regan
Paperback $54.99
Title: Computing and Communication Systems in Urban Development: A Detailed Perspective, Author: Anandakumar Haldorai
QUICK ADD
Computing and Communication…
by Anandakumar Haldorai, Arulmurugan Ramu, Suriya Murugan
Explore Series
Paperback $109.99
Title: Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures, Author: Jácome Cunha
QUICK ADD
Grand Timely Topics in…
by Jácome Cunha (Editor), João P. Fernandes (Editor), Ralf Lämmel (Editor), João Saraiva (Editor), Vadim Zaytsev (Editor)
#10223 in Series
eBook $54.99
Title: Software Engineering: Concepts, Analysis and Applications, Author: Cheryl Jollymore
QUICK ADD
Software Engineering: Concepts…
by Cheryl Jollymore (Editor)
Hardcover $137.95
Title: Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#7610 in Series
Paperback $54.99
Title: Software Testing, Author: Yogesh Singh
QUICK ADD
Software Testing
by Yogesh Singh
Hardcover $74.99
Title: Software Quality and Productivity: Theory, practice, education and training, Author: M. Lee
QUICK ADD
Software Quality and…
by M. Lee (Editor), Ben-Zion Barta (Editor), Peter Juliff (Editor)
Explore Series
Paperback $219.99
Title: Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, Author: María del Mar Gallardo
QUICK ADD
Model Checking Software: 25th…
by María del Mar Gallardo (Editor), Pedro Merino (Editor)
#10869 in Series
eBook $54.99
Title: Specification and Verification of Multi-agent Systems, Author: Mehdi Dastani
QUICK ADD
Specification and Verification…
by Mehdi Dastani (Editor), Koen V. Hindriks (Editor), John-Jules Meyer (Editor)
Hardcover $169.99
Title: Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, Author: María del Mar Gallardo
QUICK ADD
Model Checking Software: 25th…
by María del Mar Gallardo (Editor), Pedro Merino (Editor)
#10869 in Series
Paperback $54.99

Pagination Links