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: SoldOut

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.

Loppuunmyyty

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