20% off all books with the code: BOOKS
  • check 10+ million books
  • check New arrivals every day
  • check Trusted by 1M+ customers
  • check Great prices & discounts
  • check Shipping across Europe

Verification, Validation and Testing in Software Engineering -

English
2006-07-31
€151.57 €189.46

-20% with code BOOKS

In stock at our supplier

Shipping in 17-23 days

30-day return policy

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 ... Full description

You May Also Like

Description

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.

More Information

Publisher Idea Group Publishing
Release year 2006
Cover type Hardcover
EAN 9781591408512
Write Your Own Review
You're reviewing: Verification, Validation and Testing in Software Engineering
Your Rating:

Goodreads Reviews

€151.57 €189.46