- 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
Software Engineering and Formal Methods
11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 8137
€ 83,95
+ 167 punten
Omschrijving
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
Specificaties
Betrokkenen
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 321
- Taal:
- Engels
- Reeks:
- Reeksnummer:
- nr. 8137
Eigenschappen
- Productcode (EAN):
- 9783642405600
- Verschijningsdatum:
- 12/09/2013
- Uitvoering:
- Paperback
- Formaat:
- Trade paperback (VS)
- Afmetingen:
- 156 mm x 234 mm
- Gewicht:
- 476 g
Alleen bij Standaard Boekhandel
+ 167 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.