1- 20 of 451 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, Author: Gustavo Carvalho
QUICK ADD
Formal Methods: Foundations…
by Gustavo Carvalho (Editor), Volker Stolz (Editor)
#12475 in Series
eBook $69.99
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings, Author: Simon Collart-Dutilleul
QUICK ADD
Reliability, Safety, and…
by Simon Collart-Dutilleul (Editor), Anne E. Haxthausen (Editor), Thierry Lecomte (Editor)
#13294 in Series
eBook $69.99
Title: Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, Author: Kyungmin Bae
QUICK ADD
Formal Aspects of Component…
by Kyungmin Bae (Editor), Peter Csaba Ölveczky (Editor)
#11222 in Series
eBook $54.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denm, Author: Jorge A. Pérez
QUICK ADD
Formal Techniques for…
by Jorge A. Pérez (Editor), Nobuko Yoshida (Editor)
#11535 in Series
eBook $69.99
Title: Lean Software Systems Engineering for Developers: Managing Requirements, Complexity, Teams, and Change Like a Champ, Author: Doug Durham
QUICK ADD
Lean Software Systems…
by Doug Durham, Chad Michel
eBook $64.99
Title: Software Architecture: 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings, Author: Carlos E. Cuesta
QUICK ADD
Software Architecture: 12th…
by Carlos E. Cuesta (Editor), David Garlan (Editor), Jennifer Pérez (Editor)
#11048 in Series
eBook $74.99
Title: Conceptual Modeling: 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings, Author: Juan C. Trujillo
QUICK ADD
Conceptual Modeling: 37th…
by Juan C. Trujillo (Editor), Karen C. Davis (Editor), Xiaoyong Du (Editor), Zhanhuai Li (Editor), Tok Wang Ling (Editor)
#11157 in Series
eBook $54.99
Title: Software Quality. The Future of Systems- and Software Development: 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality. The Future…
by Dietmar Winkler (Editor), Stefan Biffl (Editor), Johannes Bergsmann (Editor)
#238 in Series
eBook $54.99
Title: Product-Focused Software Process Improvement: 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings, Author: Maurizio Morisio
QUICK ADD
Product-Focused Software…
by Maurizio Morisio (Editor), Marco Torchiano (Editor), Andreas Jedlitschka (Editor)
#12562 in Series
eBook $54.99
Title: Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proc, Author: Alberto Lluch Lafuente
QUICK ADD
Coordination Models and…
by Alberto Lluch Lafuente (Editor), José Proença (Editor)
#9686 in Series
eBook $54.99
Title: Principles of Big Graph: In-depth Insight, Author: Ripon Patgiri
QUICK ADD
Principles of Big Graph:…
by Ripon Patgiri (Editor), Ganesh Chandra Deka (Editor), Anupam Biswas (Editor)
#128 in Series
eBook $182.00
Title: Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings, Author: Wolfgang Ahrendt
QUICK ADD
Tests and Proofs: 14th…
by Wolfgang Ahrendt (Editor), Heike Wehrheim (Editor)
#12165 in Series
eBook $54.99
Title: Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, Author: Dirk Beyer
QUICK ADD
Tests and Proofs: 13th…
by Dirk Beyer (Editor), Chantal Keller (Editor)
#11823 in Series
eBook $54.99
Title: Software Engineering: Basic Principles and Best Practices, Author: Ravi Sethi
QUICK ADD
Software Engineering: Basic…
by Ravi Sethi
eBook $59.99
Title: Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Integrated Formal Methods:…
by Maurice H. ter Beek (Editor), Rosemary Monahan (Editor)
#13274 in Series
eBook $84.99
Title: The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, Author: Wolfgang Ahrendt
QUICK ADD
The Logic of Software. A…
by Wolfgang Ahrendt (Editor), Bernhard Beckert (Editor), Richard Bubel (Editor), Einar Broch Johnsen (Editor)
#13360 in Series
eBook $99.00
Title: Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers, Author: Raian Ali
QUICK ADD
Evaluation of Novel Approaches…
by Raian Ali (Editor), Hermann Kaindl (Editor), Leszek A. Maciaszek (Editor)
#1375 in Series
eBook $54.99
Title: Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings, Author: Anne Remke
QUICK ADD
Measurement, Modelling and…
by Anne Remke (Editor), Boudewijn R. Haverkort (Editor)
#9629 in Series
eBook $54.99
Title: Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, Author: David Clark
QUICK ADD
Testing Software and Systems:…
by David Clark (Editor), Hector Menendez (Editor), Ana Rosa Cavalli (Editor)
#13045 in Series
eBook $89.00
Title: Specification of Software Systems, Author: V.S. Alagar
QUICK ADD
Specification of Software…
by V.S. Alagar, K. Periyasamy
Explore Series
eBook $54.99

Pagination Links