Amanote Research
Register
Sign In
Software Engineering and Formal Methods
Lecture Notes in Computer Science
- Germany
doi 10.1007/978-3-642-24690-6
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
January 1, 2011
Authors
Unknown
Publisher
Springer Berlin Heidelberg
Related search
Practical Formal Software Engineering
Formal Methods in Systems Engineering
Formal Methods for Eternal Networked Software Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Application of Lightweight Formal Methods to Software Security
Software Engineering Methods for Neural Networks
Influencing the Adoption of Software Engineering Methods Using Social Software
Using Simulation Games in Teaching Formal Methods for Software Development
Advances in Higher Education and Professional Development
Exploration and Reformation of Teaching Methods for �Software Engineering� Course
Software Quality Improvement: Two Approaches to the Application of Formal Methods
