Promoting Health. Knowledge and Practice, 2nd ed. 2001, Paperback - ***

Systems and Software Verification. Model-Checking Techniques and Tools, Softcover reprint of hardcover 1st ed. 2001, Paperback - P. Schnoebelen imagine

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...
springer-verlag berlin and heidelberg gmbh & co. kg, carti, carte straina, computing & information technology
elefant.ro

Similar cu Promoting Health. Knowledge and Practice, 2nd ed. 2001, Paperback - ***

De asemenea poti fi interesat de

Cookies ne ajuta la livrarea serviciului. Folosind serviciul nostru, consemnati la utilizarea cookies-urilor. Mai multe