Refine your search
Availability
-
Authors
-
Series
-
Topics
- Computer science
- Software Architectures
- Software Development
- Software Engineering
- Software Management
- Software Processes
- agile software development
- artificial intelligence
- authentication
- computer software selection and evaluation
- formal logic
- formal methods
- formal specification
- program compilers
- programming languages
- semantics
- separation logic
- software engineering [x]
- specifications
- verification
- Show more
- Show less
-
Languages