Presents the state of the art in quality software through reuse and integration
Includes the latest research on formal methods integration
Gathers the best papers from the 4th IEEE International Workshop on Formal Methods Integration--the IEEE FMi 2016, held in Pittsburgh, USA, July 28-30 2016| Author: Stuart H. Rubin |
| Publisher: Springer |
| Publication Date: Aug 17, 2017 |
| Number of Pages: 313 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3319561561 |
| ISBN-13: 9783319561561 |
Related Products
Information Science Reference
Model-Driven Software Development: Integrating Quality Assurance
$217.52