Обложка книги Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

, , , , , , ,

ISBN: 3540415238;
Издательство: Springer-Verlag