Software Verification and Analysis: An Integrated, Hands-On Approach (Hardback or Cased Book)

Laski, Janusz

ISBN 10: 1848822391 ISBN 13: 9781848822399

Editorial: Springer 4/3/2009, 2009

Idioma: Ingl�s

Nuevos Condici�n: New Encuadernaci�n de tapa dura

Guardar para m�s tarde

Librer�a: BargainBookStores, Grand Rapids, MI, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 23 de enero de 2002

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Precio: EUR 58,10 Convertir moneda

Gratis gastos de env�o en Estados Unidos de America Destinos, gastos y plazos de env�o

Cantidad disponible: 5 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Software Verification and Analysis: An Integrated, Hands-On Approach 1.14. N� de ref. del art�culo BBS-9781848822399

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Software Verification and Analysis: An ...

Editorial: Springer 4/3/2009

A�o de publicaci�n: 2009

Encuadernaci�n: Hardback or Cased Book

Condici�n: New

Tipo de libro: Book

Acerca de

Sinopsis:

Rare book

Cr�ticas:

From the reviews:

"Software verification is a set of important activities in the software development process that leads to determining whether the software product fulfills requirements. ... It could also be very useful to software engineering researchers and practitioners. The quality of the book is enhanced by the wide range of examples that illustrate various problems and offer appropriate solutions. The physical quality of the book is extremely high." (M. Ivanovic, ACM Computing Reviews, June, 2009)

“Software verification and validation are conducted to help ensure that programs perform correctly. ... While this book’s subtitle indicates a ‘hands-on approach,’ it really takes a formal mathematical approach to describing software verification. ... The book includes plenty of diagrams and figures, and it explains verification concepts with examples. This work is useful as a complement to hands-on testing books to detail the mathematical foundations of software verification. Summing Up: Recommended. Upper-division undergraduates through professionals.” (H. J. Bender, Choice, Vol. 47 (3), November, 2009)

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Save up to 90% on your favorite items at BargainBookStores.com! Our 20,000 square foot warehouse in Grand Rapids, Michigan is filled with hundreds of thousands of books and consumer goods, all at the lowest prices! We've been serving internet customers with great deals since 2001. All books ship from Grand Rapids, Michigan. 100% Customer Satisfaction Guaranteed We want to ensure your satisfaction. If you are dissatisfied with your purchase or shopping experience, we would like to hear from you. Please contact us by email: cs@bargainbookstores.com. Please be sure to include your contact information and order number. We do not charge a restocking fee for returns. Your Privacy BargainBookStores.com does not provide, sell or market customer information to other businesses or organizations.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

BargainBookStores
3423 Lousma Dr SE, Grand Rapids, MI, 49548, U.S.A.

Condiciones de venta:

BargainBookStores guarantees 100% Customer Satisfaction. We ship worldwide and offer a variety of shipping methods to meet your needs. Please place your order directly via ABEBooks.com. We accept payment by MasterCard and Visa. For more information, contact us by email at cs@bargainbookstores.com. Full contact info is below:

BargainBookStores.com LLC
3423 Lousma Dr SE
Grand Rapids, MI 49548

Condiciones de env�o:

We will ship to all domestic and most international destinations.

Please note: Shipping times are estimated and are not guaranteed by BargainBookStores.

M�todos de pago
aceptados por la librer�a