7 Ebooks de Grigore Rosu
Klaus Havelund & Manuel Nunez: Formal Approaches to Software Testing and Runtime Verification
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to …
PDF
Engleză
DRM
€57.78
Jose Meseguer & Grigore Rosu: Algebraic Methodology and Software Technology
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised …
PDF
Engleză
DRM
€57.82
Holger Giese & Grigore Rosu: Formal Techniques for Distributed Systems
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 …
PDF
Engleză
DRM
€56.20
Owolabi Legunsen & Grigore Rosu: Model Checking Software
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and …
EPUB
Engleză
DRM
€114.13
Dana Fisman & Grigore Rosu: Tools and Algorithms for the Construction and Analysis of Systems
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April …
PDF
Engleză
DRM
€3.80
Dana Fisman & Grigore Rosu: Tools and Algorithms for the Construction and Analysis of Systems
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April …
PDF
Engleză
DRM
€3.79
