Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems

Buy Now

Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers (Paperback, 1st ed. 2022) Loot Price: R1,620
Discovery Miles 16 200
Repayment Terms: R152 pm x 12*
Add to cart
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th...

Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers (Paperback, 1st ed. 2022)

Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina

Series: Programming and Software Engineering, 13124

 (sign in to rate)
Loot Price R1,620 Discovery Miles 16 200 | Repayment Terms: R152 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.

General

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Series: Programming and Software Engineering, 13124
Release date: February 2022
First published: 2022
Editors: Roderick Bloem • Rayna Dimitrova • Chuchu Fan • Natasha Sharygina
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 197
Edition: 1st ed. 2022
ISBN-13: 978-3-03-095560-1
Categories: Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer hardware & operating systems > General
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Internet > Network computers
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 3-03-095560-5
Barcode: 9783030955601

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Managing Business Projects - The Essentials (Paperback, 3rd Edition): Frank Einhorn
Managing Business Projects - The…
Frank Einhorn Paperback R515 Discovery Miles 5 150
Practical TCP/IP and Ethernet Networking for Industry (Paperback): Deon Reynders, Edwin Wright
Practical TCP/IP and Ethernet Networking…
Deon Reynders, Edwin Wright Paperback R1,581 Discovery Miles 15 810
The System Designer's Guide to VHDL-AMS, Volume TBD - Analog, Mixed-Signal, and Mixed-Technology Modeling (Paperback):...
The System Designer's Guide to VHDL-AMS…
Peter J Ashenden, Gregory D. Peterson, … Paperback R2,421 Discovery Miles 24 210
Microsoft Windows 10 Tips & Tricks (Fold-out book or chart): Joan Lambert
Microsoft Windows 10 Tips & Tricks
Joan Lambert Fold-out book or chart R244 Discovery Miles 2 440
Exam Ref AZ-104 Microsoft Azure Administrator (Paperback): Harshul Patel, Michael Washam, Jonathan Tuliani, Scott Hoag
Exam Ref AZ-104 Microsoft Azure…
Harshul Patel, Michael Washam, … Paperback R1,243 Discovery Miles 12 430
TI-83 Plus Calculator (Fold-out book or chart): BarCharts Inc
TI-83 Plus Calculator
BarCharts Inc Fold-out book or chart R244 Discovery Miles 2 440
Mike Meyers' CompTIA A+ Guide to 802 Managing and Troubleshooting PCs Lab Manual, Fourth Edition (Exam 220-802)...
Mike Meyers' CompTIA A+ Guide to 802…
Mike Meyers Paperback R1,297 Discovery Miles 12 970
Quantum Computing, Second Edition - A pathway to quantum logic design (Hardcover, 2nd edition): Hafiz Md. Hasan Babu
Quantum Computing, Second Edition - A…
Hafiz Md. Hasan Babu Hardcover R3,474 Discovery Miles 34 740
A Hobbyist's Guide to THEA500 Mini (Hardcover, Full Colour Hardback ed.): Holger Wessling
A Hobbyist's Guide to THEA500 Mini
Holger Wessling Hardcover R983 Discovery Miles 9 830
Essential Windows 10: 1st Anniversary Edition (Paperback, 1st Anniversary edition): Kevin Wilson
Essential Windows 10: 1st Anniversary…
Kevin Wilson Paperback R459 R288 Discovery Miles 2 880
Wireless Communication Networks Supported by Autonomous UAVs and Mobile Ground Robots (Paperback): Hailong Huang, Andrey V....
Wireless Communication Networks…
Hailong Huang, Andrey V. Savkin, … Paperback R2,934 Discovery Miles 29 340
Inclusive Radio Communications for 5G and Beyond (Paperback): Claude Oestges, Francois Quitin
Inclusive Radio Communications for 5G…
Claude Oestges, Francois Quitin Paperback R3,076 Discovery Miles 30 760

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners