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 (ed.); Stefan Edelkamp (ed.)
Springer (2007)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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

Dragan Bosnacki (ed.); Stefan Leue (ed.)
Springer (2002)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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

Dragan Bosnacki (ed.), Stefan Edelkamp (ed.)

49,60 €

Springer
Sivumäärä: 285 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 21.06.2007 (lisätietoa)
Kieli: Englanti

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 17-20 arkipäivässä

Myymäläsaatavuus