Explore
keyword: architecture verification and validation – 14 free books.
These Creative Commons Attribution licensed ebooks are free to read - the people who created them want you to read and share them.
You are free to: copy and redistribute the material in any medium or format; remix, transform, and build upon the material; for any purpose, even commercially. Under the following terms: You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
Fundamental Approaches to Software Engineering
Einar Broch Johnsen and Manuel Wimmer
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
Fundamental Approaches to Software Engineering
Esther Guerra and Mariëlle Stoelinga, editors
Jan Friso Groote and Kim Guldstrand Larsen, editors
Shuvendu K. Lahiri and Chao Wang, editors
Shuvendu K. Lahiri and Chao Wang, editors
