Das Buch ist derzeit nicht auf Lager
Parameter
Buchkauf
Computer verification of algorithms using a formal proof system, Markus Kaiser
- Sprache
- Erscheinungsdatum
- 2010
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Computer verification of algorithms using a formal proof system
- Sprache
- Englisch
- Autor*innen
- Markus Kaiser
- Verlag
- dissertation.de
- Erscheinungsdatum
- 2010
- ISBN10
- 3866244835
- ISBN13
- 9783866244832
- Reihe
- Dissertation.de
- Kategorie
- Informatik & Programmierung