|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Virgile Prevosto , Cristina SeceleanuPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2023 Volume: 14066 Weight: 0.332kg ISBN: 9783031388279ISBN 10: 3031388275 Pages: 187 Publication Date: 20 July 2023 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsLow-level Code Verification.- Formal Models.- Model-based test generation.- Abstraction and Refinement.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |