How can one systematically show that computer codes are correctly solving equations? Verification of Computer Codes in Computational Science and Engineering sets forth a powerful procedure called OVMSP: Order-Verification via the Manufactured Solution Procedure. Properly implemented, OVMSP offers an exciting opportunity to identify virtually all coding 'bugs' that prevent correct solution of the governing partial differential equations. This book presents a step-by-step guide to OVMSP and demonstrates its effectiveness. The treatment is clear, concise, and suitable for developers of production quality simulation software and as a reference for computational science and engineering professionals.
Verification of Computer Codes in Computational Science and Engineering
RRP:
$410.00
Description
How can one systematically show that computer codes are correctly solving equations? Verification of Computer Codes in Computational Science and Engineering sets forth a powerful procedure called OVMSP: Order-Verification via the Manufactured Solution Procedure. Properly implemented, OVMSP offers an exciting opportunity to identify virtually all coding 'bugs' that prevent correct solution of the governing partial differential equations. This book presents a step-by-step guide to OVMSP and demonstrates its effectiveness. The treatment is clear, concise, and suitable for developers of production quality simulation software and as a reference for computational science and engineering professionals.
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July...
Computer Science (CS), Computer Engineering (CE) and Electronics Engineering (EE) are disciplines with extremely broad research and application areas ranging from robotics to software engineering...
The three volume set LNICST 84 - LNICST 86 constitute the refereed proceedings ofthe Second International Conference on Computer Science and InformationTechnology, CCSIT 2012, held in Bangalore,...
This volume constitutes the refereed proceedings of the 8th Workshop on Engineering Applications, WEA 2021, held in Medellín, Colombia, in October 2021. Due to the COVID-19 pandemic the...
Discover your next great read at BookLoop, Australiand online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles,
Shop Trending Books and New Releases
Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.
Shop Best Books By Collection
Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.
Sign In
your cart
Your cart is empty
Menu
Search
PRE-SALES
If you have any questions before making a purchase chat with our online operators to get more information.
