Jt Schwartz | Akateeminen Kirjakauppa

CORRECT-PROGRAM TECHNOLOGY/EXTENSIBILITY OF VERIFIERS. TWO PAPERS ON PROGRAM VERIFICATION. BY MARTIN DAVIS AND J.T. SCHWARTZ

Martin Davis; Jt Schwartz
LIGHTNING SOURCE INC (2015)
Kovakantinen kirja

75,40 €

Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz

Martin Davis, Jt Schwartz

75,40 €

LIGHTNING SOURCE INC
Sivumäärä: 152 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2015, 05.09.2015 (lisätietoa)
Kieli: Englanti

Tuotteella ei tuotekuvausta.

LISÄÄ OSTOSKORIIN

Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.

Myymäläsaatavuus

Helsinki

Tapiola

Turku

Tampere

Näytä kaikki tuotetiedot

ISBN:

9781341578281

Aihealue:

Ulkomaiset kirjat » History » General

Sisäänkirjautuminen

Kirjaudu sisään
Rekisteröityminen

Oma tili

Omat tiedot
Omat tilaukset
Omat laskut

Lisätietoja

Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste