Name: Verification of Sequential and Concurrent Programs
SKU: 9781848827462
Price: 62.90 EUR
Availability: OutOfStock

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. De Boer, Ernst-R Diger Olderog

62,90 €

SPRINGER VERLAG GMBH
Sivumäärä: 528 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2009, 01.09.2009 (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

Verification of Sequential and Concurrent Programs

Näytä kaikki tuotetiedot

ISBN:

9781848827462

Aihealue:

Ulkomaiset kirjat » Computers » Computer Science