Del 9407
Formal Methods and Software Engineering
Michael Butler, Sylvain Conchon, Fatiha Zaïdi
Häftad, 2015
729 kr
Del i serien Lecture Notes in Computer Science
Testing Software and Systems
23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
Häftad, Engelska, 2011
729 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised full papers presented together with 2 invited talks were carefully selected from 40 submissions. The papers address the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures.
Produktinformation
- Utgivningsdatum2011-10-21
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor226
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642245794
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 10889
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Häftad, 2006
729 kr
- Nyhet
Del 5