Makeen books shop contact
  1. Home
  2. Computing & information technology
  3. Computer networking and communications
  4. Challenges of Software Verification

Challenges of Software Verification

9789811996009

Challenges of Software Verification - 9789811996009 onload="displayBookAvailableStatusC()"/>
Rating:

Rs. 90993.00

Delivery in 25 - 45 working days

Qty

Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days).
Call our hotline 011 7 463 463

Covid-19 Notice

Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days)
Call our hotline 011 7 463 463

Additional Information
Author(s) :- Format :- Hardback
Publisher :- Springer Verlag, Singapore Pub. Date :- 2023-07-25
ISBN-13 :- 9789811996009
Series:- Intelligent Systems Reference Library
Edition:- 2023 ed.
Pagination :- 264 pages, 59 Illustrations, color; 21 Illustrations, black and white; XV, 264 p. 80 illus., 59 illu
Dimensions :- 163 x 241 x 22
Weight :- 572
Add to wishlist

Description

Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size.

Other Books By