- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Model Checking Software
17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings
€ 75,45
+ 150 punten
Omschrijving
This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and Buchi automata, extensions to infinite-state systems, and concurrent software.
Specificaties
Betrokkenen
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 263
- Taal:
- Engels
- Reeks:
- Reeksnummer:
- nr. 6349
Eigenschappen
- Productcode (EAN):
- 9783642161636
- Verschijningsdatum:
- 27/09/2010
- Uitvoering:
- Paperback
- Formaat:
- Trade paperback (VS)
- Afmetingen:
- 152 mm x 229 mm
- Gewicht:
- 476 g
Alleen bij Standaard Boekhandel
+ 150 punten op je klantenkaart van Standaard Boekhandel
CADEAU
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.