![Akateeminen Kirjakauppa](/images/index/logo-1195.jpg)
SULJE VALIKKO
KIRJAUDU
CORRECT-PROGRAM TECHNOLOGY/EXTENSIBILITY OF VERIFIERS. TWO PAPERS ON PROGRAM VERIFICATION. BY MARTIN DAVIS AND J.T. SCHWARTZ | ||
| Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz 73,50 € LIGHTNING SOURCE INC Sivumäärä: 152 sivua Asu: Kovakantinen kirja Julkaisuvuosi: 2015, 05.09.2015 (lisätietoa) Kieli: Englanti Tuotteella ei tuotekuvausta. Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.
Myymäläsaatavuus
![]() ![]() ![]() ![]() Näytä kaikki tuotetiedotISBN: 9781341578281 Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |