Certified Programs and Proofs

Dieses Sammelwerk aus der ersten internationalen Konferenz über zertifizierte Programme und Beweise in Kenting bietet tiefgehende Analysen zu formale ...

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3642253784
MPN
Springer-Verlag GmbH 87 black & white illustrations, biograph

Eigenschaften

Menü