Computer Verification of Algorithms Using a Formal Proof System
von Markus Kaiser
Buch
Jetzt kaufen
Durch das Verwenden dieser Links unterstützt du READO. Wir erhalten eine Vermittlungsprovision, ohne dass dir zusätzliche Kosten entstehen.
Haupt-Genre
Fachbücher
Sub-Genre
Informatik
Format
Buch
Seitenzahl
198
Preis
54.50 €
Haupt-Genre
Fachbücher
Sub-Genre
Informatik
Format
Buch
Seitenzahl
198
Preis
54.50 €