top of page
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.

bottom of page