Tests and Proofs
53.49 EUR
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: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE 
