|
|

avaa valikko

JT Schwartz | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 1 tuotetta
Haluatko tarkentaa hakukriteerejä?



Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Davis, Martin; Schwartz, Jt
LIGHTNING SOURCE INC
2015
Kovakantinen kirja
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
75,20 €