نتایج جستجو
Systems and Software Verification: Model-Checking Techniques and Tools
B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, 2001
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010
Workplace Software and Skills
Tammie Bolling, Angela Mitchell, Tanya Scott, Nyrobi Wheeler, 2023
Think Like a Software Engineering Manager
Akanksha Gupta, 2024
Classics in Software Engineering
Edward Yourdon, 1979
Reducing risk with software process improvement
Louis Poulin, 2005
Design and Implementation of Software Engineering for Modern Web Applications
Mohammed Moreb, 2024
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
Jean Goubault-Larrecq (editor), Barbara König (editor), 2020
Intelligent Software Defect Prediction
Haowen Chen, Baowen Xu, Xiao-Yuan Jing, 2024
Code: The Hidden Language of Computer Hardware and Software
Charles Petzold, 1999
Agile Technical Practices Distilled: A learning journey in technical practices and principles of software design
Pedro M. Santos, Alessandro Di Gioia, Marco Consolaro, 2019
Software Testing with Generative AI
Mark Winteringham, 2024
Software Testing with Generative AI
Mark Winteringham, 2024
Computer Organization and Design ARM Edition: The Hardware Software Interface (Instructor's Edu Resource 1 of 2, Lecture PPT & Solution Manual) (Solutions)
David A. Patterson, John L. Hennessy, 2016
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Revised Selected Papers
Alessandro Aldini (editor), 2024
