By accessing or using this site you accept and agree to our Terms and Conditions
We run an ad-free website, help us keep going, Support Us!
Inside this Book



If you make use of this material, you may credit the authors as follows:
Russo Alessandra and Schürr Andy (Editors), "Fundamental Approaches to Software Engineering", Springer Nature, 2018, DOI: 10.1007/978-3-319-89363-1, License: https://creativecommons.org/licenses/by/4.0/
computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
Keywords
Computer Software Maintenance, Computer Software Selection And Evaluation, Formal Logic, Formal Methods, Formal Specification, Programming Languages, Semantics, Software Engineering, Specifications, Verification
Rights | License
Except where otherwise noted, this item has been published under the following license:
You might also be interested in the following books from Amazon:
Takedown policy:
If you believe that this publication infringes copyright, please contact us at info@jecasa-ltd.com and provide relevant details so that we can investigate your claim.