Vorstellung des Autors Talia Ringer:

Bisher veröffentlichte Bücher von Talia Ringer:

Qed at Large: Ein Überblick über die Entwicklung formal geprüfter Software - Qed at Large: A Survey...
New Publ Inc
Die Entwicklung von formalen Beweisen für die...
Qed at Large: Ein Überblick über die Entwicklung formal geprüfter Software - Qed at Large: A Survey of Engineering of Formally Verified Software
<<
1
>>

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)