Programming
Verification, Validation and Testing in Software Engineering | by Aristides Dasso | Ana Funes | IGI Publishing | English
₹4,901
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
About This Book
Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has been complemented with other, more formal techniques of software engineering, and so the static verification - traditional in formal methods - has been joined by model checking and other techniques. ""Verification, Validation and Testing in Software Engineering"" offers thorough coverage of many valuable formal and semiformal techniques of V&V. It explores, depicts, and provides examples of different applications in V&V that produce many areas of software development - including real-time applications - where V&V techniques are required.
About the Author
Verification, Validation and Testing in Software Engineering is authored by Aristides Dasso | Ana Funes.
Product description About the Author Aristides Dasso is an associate professor, at the Departmento de Informática at Universidad Nacional de San Luis, Argentina. He has published more than fifty articles in international conferences and journals and has presented several papers in international conferences on software engineering and information systems. He has studied political science in Argentina and computer science in Argentina and France, and has been a fellow at the International Institute for Software Technologies of the United Nations University, Macao. He is a member of both ACM and IEEE. Ana Funes is an assistant professor at the Departamento de Informática at the Universidad Nacional de San Luis, Argentina. She holds a Master degree in software engineering from that university. She is a researcher at the Software Engineering Group of the Universidad Nacional de San Luis.
Book Highlights
✓Published by IGI Publishing
✓Language: English
✓Publication date: 30 July 2006
✓Category: Software Design, Testing & Engineering > Software Architecture
✓Dimensions: 18.42 x 2.54 x 26.04 cm
✓Weight: 930 g
✓FREE shipping on all BookShops.in orders
✓15-day hassle-free return policy
✓Cash on Delivery (COD) available across India
✓100% genuine physical book — not an eBook or PDF
Book Specifications
| ISBN-13 | 9781591408512 |
| ISBN-10 | 1591408512 |
| Publisher | IGI Publishing |
| Language | English |
| Dimensions | 18.42 x 2.54 x 26.04 cm |
| Weight | 930 g |
| Country | USA |
| Category | Software Design, Testing & Engineering › Software Architecture |
| author | Aristides Dasso | Ana Funes |
Frequently Asked Questions
What is the price of Verification, Validation and Testing in Software Engineering?
Verification, Validation and Testing in Software Engineering is available at ₹4,901 on BookShops.in.
Does BookShops.in offer free delivery for Verification, Validation and Testing in Software Engineering?
FREE delivery on all orders for Verification, Validation and Testing in Software Engineering.
Is Cash on Delivery available for Verification, Validation and Testing in Software Engineering?
Yes, Cash on Delivery (COD) is available for Verification, Validation and Testing in Software Engineering on BookShops.in. Pay when your order arrives.
What is the return policy for Verification, Validation and Testing in Software Engineering?
BookShops.in offers a 15-day hassle-free return policy for Verification, Validation and Testing in Software Engineering. Contact us at support@bookshops.in or call +91 95575 56855.
Is Verification, Validation and Testing in Software Engineering authentic?
Verification, Validation and Testing in Software Engineering is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Programming
Pro Oracle Database 18c Administration: Manage and Safeguard Your Organization’s Data | by Michelle Malcher | Darl Kuhn | Apress | English | 3rd Edition
₹4,806
Programming
C++: Grundlagen und Programmierung | by Martin Hitz | Springer Verlag GmbH | German | 1992nd Edition
₹3,508
Programming
Foundation Mathematics for Computer Science | by John Vince | Springer Nature | English | 2015th Edition
₹4,850
Programming
Die C++-Standardbibliothek: Einführung und Nachschlagewerk | by Stefan Kuhlins | Martin Schader | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | German | 4., durchges. Aufl. 2005 Edition
₹2,415
Programming
Automata, Languages and Programming | by Giorgio Ausiello | Mariangiola Dezani-Ciancaglini | Simonett | Springer | by Giorgio Ausiello | Mariangiola Dezani-Ciancaglini | Simonett | Springer | by Giorgio Ausiello | Mariangiola Dezani-Ciancaglini | Simonett | Springer | by Giorgio Ausiello | Mariangiola Dezani-Ciancaglini | Simonett | Springer | by Giorgio Ausiello | Mariangiola Dezani-Ciancaglini | Simonett | Springer | by Giorgio Ausiello | Mariangiola Dezani-Ciancaglini | Simonett | Springer |
₹5,161
Programming
Data Structures and Algorithm Analysis in Java: Data Struc Algor Analy Java_3 | by Mark Weiss | Pearson College Div | English | 3rd Edition
₹4,570
Related Products
View AllProgramming
Data Structures and Algorithm Analysis in Java: Data Struc Algor Analy Java_3 | by Mark Weiss | Pearson College Div | English | 3rd Edition
₹4,570
Programming
Pro Oracle Database 18c Administration: Manage and Safeguard Your Organization’s Data | by Michelle Malcher | Darl Kuhn | Apress | English | 3rd Edition
₹4,806
Programming
C++: Grundlagen und Programmierung | by Martin Hitz | Springer Verlag GmbH | German | 1992nd Edition
₹3,508
Programming
Foundation Mathematics for Computer Science | by John Vince | Springer Nature | English | 2015th Edition
₹4,850
Programming
Die C++-Standardbibliothek: Einführung und Nachschlagewerk | by Stefan Kuhlins | Martin Schader | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | German | 4., durchges. Aufl. 2005 Edition
₹2,415
Programming
Automata, Languages and Programming | by Giorgio Ausiello | Mariangiola Dezani-Ciancaglini | Simonett | Springer | by Giorgio Ausiello | Mariangiola Dezani-Ciancaglini | Simonett | Springer | by Giorgio Ausiello | Mariangiola Dezani-Ciancaglini | Simonett | Springer | by Giorgio Ausiello | Mariangiola Dezani-Ciancaglini | Simonett | Springer | by Giorgio Ausiello | Mariangiola Dezani-Ciancaglini | Simonett | Springer | by Giorgio Ausiello | Mariangiola Dezani-Ciancaglini | Simonett | Springer |
₹5,161