Model-Based Softwre Test Anlys w C#. Este artículo no está disponible.
Editorial: Cambridge University Press
- Tapa blanda
- Usado
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de AmericaThriftBooks-Atlanta
Vendedor de 5 estrellas
Vendedor de IberLibro desde 24 de marzo de 2009
No disponible
Tapa blanda
Condición: Usado - Bueno
EUR 17,48
Descripción del artículo del vendedor
May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
N° de ref. del artículo G0521687616I4N00
- Título
- Model-Based Softwre Test Anlys w C#
- Autor
- Jacky, Jonathan; Veanes, Margus; Campbell, Colin
- Editorial
- Cambridge University Press
- Estado
- Very Good
- Sobrecubierta
- No Jacket
- Encuadernación
- Paperback
- ISBN 10
- 0521687616
- ISBN 13
- 9780521687614
- Peso del artículo
- 1,35 libras
Teaches new methods for specifying, analyzing and testing software that increase automation in each step.
“Sinopsis” puede pertenecer a otra edición de este título.
Acerca del autor
Jonathan Jacky is a research scientist at the University of Washington in Seattle. He is experienced in embedded control systems, safety-critical systems, signal processing, and scientific computing. He has taught at the Evergreen State College and has been a visiting researcher at Microsoft Research. He is the author of The Way of Z: Practical Programming with Formal Methods.
Colin Campbell has worked on model-based testing and analysis techniques for a number of years in industry, including Microsoft Research. He is a principal of the consulting firm Modeled Computation LLC in Seattle (www.modeled-computation.com). His current interests include design analysis, the modeling of reactive and distributed systems, and the integration of components in large systems.
Margus Veanes is a researcher in the Foundations of Software Engineering (FSE) group at Microsoft Research and a co-designer and co-developer of the Spec Explorer tool.
Wolfram Schulte is a research area manager at Microsoft Research, managing the FSE group, the Programming Languages and Methods (PLM) group, and the Software Design and Implementation (SDI) group.
Colin Campbell has worked on model-based testing and analysis techniques for a number of years in industry, including Microsoft Research. He is a principal of the consulting firm Modeled Computation LLC in Seattle (www.modeled-computation.com). His current interests include design analysis, the modeling of reactive and distributed systems, and the integration of components in large systems.
Margus Veanes is a researcher in the Foundations of Software Engineering (FSE) group at Microsoft Research and a co-designer and co-developer of the Spec Explorer tool.
Wolfram Schulte is a research area manager at Microsoft Research, managing the FSE group, the Programming Languages and Methods (PLM) group, and the Software Design and Implementation (SDI) group.
“Acerca de” puede pertenecer a otra edición de este título.
Resultados de la búsqueda para Model-Based Softwre Test Anlys w C#
Hay 4 copias más de este libroVer todos los resultados