Bokus
Ernst-Rudiger Olderog, Krzysztof R. Apt - Programmverifikation, E-bok

E-bok, Tyska, 2013

Programmverifikation

Sequentielle, parallele und verteilte Programme

Av Ernst-Rudiger Olderog, Krzysztof R. Apt

324 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning
Produktinformation
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.