Related Books
Language: en
Pages:
Pages:
Type: BOOK - Published: 2015 - Publisher:
Language: en
Pages: 444
Pages: 444
Type: BOOK - Published: 2012-06-26 - Publisher: Springer
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Compute
Language: en
Pages: 311
Pages: 311
Type: BOOK - Published: 2021-12-02 - Publisher: Springer Nature
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establ
Language: en
Pages: 360
Pages: 360
Type: BOOK - Published: 2013-08-19 - Publisher: Springer
This book constitutes the refereed post-proceedings of the 10th European Performance Engineering Workshop, EPEW 2013, held in Venice, Italy, in September 2013.
Language: en
Pages: 526
Pages: 526
Type: BOOK - Published: 2008-08-31 - Publisher: IGI Global
Covers important concepts, issues, trends, methodologies, and technologies in quality assurance for model-driven software development.