41- 60 of 1497 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: BDD in Action, Second Edition: Behavior-Driven Development for the whole software lifecycle, Author: John Ferguson Smart
QUICK ADD
BDD in Action, Second Edition:…
by John Ferguson Smart, Jan Molak
Paperback $59.99
Title: Automotive Systems and Software Engineering: State of the Art and Future Trends, Author: Yanja Dajsuren
QUICK ADD
Automotive Systems and…
by Yanja Dajsuren (Editor), Mark van den Brand (Editor)
Paperback $149.00
Title: Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings, Author: Alexandre Madeira
QUICK ADD
Software Engineering and…
by Alexandre Madeira (Editor), Alexander Knapp (Editor)
#15280 in Series
Paperback $79.99
Title: 100 C++ Mistakes and How to Avoid Them, Author: Rich Yonts
QUICK ADD
100 C++ Mistakes and How to…
by Rich Yonts
Paperback $59.99
Title: Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers, Author: Rostislav Yavorskiy
QUICK ADD
Tools and Methods of Program…
by Rostislav Yavorskiy (Editor), Ana Rosa Cavalli (Editor), Anna Kalenkova (Editor)
#1559 in Series
Paperback $69.99
Title: Software, System, and Service Engineering: S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Wa, Author: Aleksander Jarzebowicz
QUICK ADD
Software, System, and Service…
by Aleksander Jarzebowicz (Editor), Ivan Lukovic (Editor), Adam Przybylek (Editor), Miroslaw Staron (Editor), Muhammad Ovais Ahmad (Editor)
#499 in Series
Paperback $59.99
Title: Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, Author: Edward A. Lee
QUICK ADD
Rebeca for Actor Analysis in…
by Edward A. Lee (Editor), Mohammad Reza Mousavi (Editor), Carolyn Talcott (Editor)
#15560 in Series
Paperback $74.99
Title: Tool Support for System Specification, Development and Verification, Author: Rudolf Berghammer
QUICK ADD
Tool Support for System…
by Rudolf Berghammer (Editor), Yassine Lakhnech (Editor)
Explore Series
Paperback $54.99
Title: Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for Executable…
by Marco Bernardo (Editor), Ferruccio Damiani (Editor), Reiner Haehnle (Editor), Einar Broch Johnsen (Editor), Ina Schaefer (Editor)
#8483 in Series
Paperback $54.99
Title: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in A, Author: Josep Diaz
QUICK ADD
TAPSOFT '89: Proceedings of…
by Josep Diaz (Editor), Fernando Orejas (Editor)
#351 in Series
Paperback $54.99
Title: Algebraic Methods: Theory, Tools and Applications, Author: Martin Wirsing
QUICK ADD
Algebraic Methods: Theory,…
by Martin Wirsing (Editor), Jan A. Bergstra (Editor)
#394 in Series
Paperback $109.99
Title: Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, Author: Marino Miculan
QUICK ADD
Types for Proofs and Programs:…
by Marino Miculan (Editor), Ivan Scagnetto (Editor), Furio Honsell (Editor)
#4941 in Series
Paperback $54.99
Title: Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures, Author: Roland Backhouse
QUICK ADD
Datatype-Generic Programming:…
by Roland Backhouse (Editor), Jeremy Gibbons (Editor), Ralf Hinze (Editor), Johan Jeuring (Editor)
#4719 in Series
Paperback $54.99
Title: Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers, Author: Markus Lumpe
QUICK ADD
Software Composition: 6th…
by Markus Lumpe (Editor), Wim Vanderperren (Editor)
#4829 in Series
Paperback $54.99
Title: Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings, Author: Andy Schürr
QUICK ADD
Model Driven Engineering…
by Andy Schürr (Editor), Bran V. Selic (Editor)
#5795 in Series
Paperback $109.99
Title: Foundations of Computer Software: Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers, Author: Christine Choppy
QUICK ADD
Foundations of Computer…
by Christine Choppy (Editor), Oleg Sokolsky (Editor)
#6028 in Series
Paperback $54.99
Title: Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings, Author: Sven Apel
QUICK ADD
Software Composition: 10th…
by Sven Apel (Editor), Ethan Jackson (Editor)
#6708 in Series
Paperback $54.99
Title: Search Based Software Engineering: Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings, Author: Gordon Fraser
QUICK ADD
Search Based Software…
by Gordon Fraser (Editor), Jerffeson Teixeira de Souza (Editor)
#7515 in Series
Paperback $54.99
Title: Transactions on Aspect-Oriented Software Development X, Author: Gary T. Leavens
QUICK ADD
Transactions on…
by Gary T. Leavens (Editor), Shigeru Chiba (Editor), Éric Tanter (Editor)
#7800 in Series
Paperback $54.99
Title: Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures, Author: Antonio Cerone
QUICK ADD
Formal Methods for an Informal…
by Antonio Cerone (Editor)
#13490 in Series
Paperback $59.99

Pagination Links