Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Jaco van der Pol , Michael Weber
Brak ocen
Sep 27, 2010 · Angielski · Miękka okładka (273 strony)
Dodaj do półki

Oceń tę książkę


Eksportuj Dziennik Książki

Recenzje

Nie ma jeszcze recenzji

Bądź pierwszy, aby zrecenzować tę książkę i podziel się swoimi przemyśleniami

Zaloguj się, aby recenzować
Dodaj do półki

Oceń tę książkę


Eksportuj Dziennik Książki