Andere Kunden interessierten sich auch für
![Reliable Software Technologies – Ada-Europe 2015 (eBook, PDF)]( "Reliable Software Technologies – Ada-Europe 2015 (eBook, PDF)")
Reliable Software Technologies – Ada-Europe 2015 (eBook, PDF)51,16 €![Practical Aspects of Declarative Languages (eBook, PDF)]( "Practical Aspects of Declarative Languages (eBook, PDF)")
Practical Aspects of Declarative Languages (eBook, PDF)41,64 €![Practical TLA+ (eBook, PDF)]( "Practical TLA+ (eBook, PDF)")
Practical TLA+ (eBook, PDF)46,99 €![Pro Java Clustering and Scalability (eBook, PDF)]( "Pro Java Clustering and Scalability (eBook, PDF)")
Pro Java Clustering and Scalability (eBook, PDF)46,99 €![Languages and Compilers for Parallel Computing (eBook, PDF)]( "Languages and Compilers for Parallel Computing (eBook, PDF)")
Languages and Compilers for Parallel Computing (eBook, PDF)59,49 €![A Software Process Model Handbook for Incorporating People's Capabilities (eBook, PDF)]( "A Software Process Model Handbook for Incorporating People's Capabilities (eBook, PDF)")
A Software Process Model Handbook for Incorporating People's Capabilities (eBook, PDF)149,79 €![Software Process Modeling (eBook, PDF)]( "Software Process Modeling (eBook, PDF)")
Software Process Modeling (eBook, PDF)96,29 €
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.