Bokus
Krzysztof R. Apt, Ernst-Rüdiger Olderog - Programmverifikation, Häftad

Häftad, Tyska, 1994

Programmverifikation

Sequentielle, parallele und verteilte Programme

Av Krzysztof R. Apt, Ernst-Rüdiger Olderog

Del i serien Springer-Lehrbuch

309 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning
Produktinformation
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.