Dragan Bošnački | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

MODEL CHECKING SOFTWARE - 14TH INTERNATIONAL SPIN WORKSHOP, BERLIN, GERMANY, JULY 1-3, 2007, PROCEEDINGS

Dragan Bosnacki; Stefan Edelkamp
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

MODEL CHECKING SOFTWARE - 9TH INTERNATIONAL SPIN WORKSHOP GRENOBLE, FRANCE, APRIL 11-13, 2002 PROCEEDINGS

Dragan Bosnacki; Stefan Leue
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2002)
Pehmeäkantinen kirja

49,60 €

MODEL CHECKING SOFTWARE - 23RD INTERNATIONAL SYMPOSIUM, SPIN 2016, CO-LOCATED WITH ETAPS 2016, EINDHOVEN, THE NETHERLANDS, APRIL

Dragan Bošnački; Anton Wijs
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

49,60 €

Model Checking Software - 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Dragan Bosnacki, Stefan Edelkamp

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 285 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 21.06.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus