Computational Methods For Integrating Vision And Language Barnard, Kobus Morgan & Claypool Publishers |
Datacenter Design And Management: A Computer Architect's Perspective C. Lee, Benjamin Morgan & Claypool Publishers |
Virtual Design Of An Audio Lifelogging System: Tools For Iot Systems Mears, Brian / Shah, Mohit Morgan & Claypool Publishers |
Ellipse Fitting For Computer Vision: Implementation And Applications Kanatani, Kenichi / Sugaya, Yasuyuki / Kanazawa, Yasushi Morgan & Claypool Publishers |
Minitab Handbook: Updated For Release 16 Ryan, Barbara / Joiner, Brian / Cryer, Jonathan Cengage Learning Editores, S.A. de C.V. |
Labview: Entorno Gráfico de Programación Lajara Vizcaíno, José Rafael / Pelegrí Sebastiá, José Alfaomega Grupo Editor S.A. de C.V. |
Título: Software Verification And Analysis. An Integrated, Hands-On Approach. | ||
Autor: Laski , Janusz / William Stanley. | Precio: $1305.00 | |
Editorial: Springer-Verlag New York | Año: 2009 | |
Tema: Computacion, Software, Programas Computacionales | Edición: 1ª | |
Sinopsis | ISBN: 9781848822399 | |
This book advocates the integrated and tool supported use of all avaiilable verification methods in improve solfware correctness... |