Name: Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
SKU: 9781341578281
Price: 76.80 EUR
Availability: OutOfStock

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

Martin Davis, Jt Schwartz

76,80 €

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

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

Näytä kaikki tuotetiedot

ISBN:

9781341578281

Aihealue:

Ulkomaiset kirjat » History » General