Tests and Proofs

Entdecken Sie fortschrittliche Techniken der formalen Verifikation und des Theorem Proving in den Beiträgen der sechsten internationalen Konferenz, die im Mai 2012 in Prag stattfand; das Buch liefert praxisnahe Beispiele, theoretische Grundlagen und aktuelle Forschungsansätze für Informatikexperten.

Teilen: