Name: Model Checking Software - 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
SKU: 9783540851134
Price: 51.10 EUR
Availability: BackOrder

Model Checking Software - 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Klaus Havelund, Rupak Majumdar, Jens Palsberg

51,10 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 343 sivua
Asu: Pehmeäkantinen kirja
Painos: 2008 ed.
Julkaisuvuosi: 2008, 25.07.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 5156

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.

LISÄÄ OSTOSKORIIN

Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa

Haluan myydä tämän tuotteen

Model Checking Software - 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Näytä kaikki tuotetiedot

ISBN:

9783540851134

Aihealue:

Ulkomaiset kirjat » Computers » Programming » Software Development

Tilaustuote