Systems and Software Verification. Model-Checking Techniques and Tools, Softcover reprint of hardcover 1st ed. 2001, Paperback - P. Schnoebelen
769,99 RON
Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of mo...
elefant.ro