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,499
Discovery Miles 14 990
Repayment Terms: R140 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,499 Discovery Miles 14 990 | Repayment Terms: R140 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 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 R1,370 R1,283 Discovery Miles 12 830
Creativity in Computing and DataFlow SuperComputing, Volume 104 (Hardcover): Suyel Namasudra, Veljko Milutinovic
Creativity in Computing and DataFlow…
Suyel Namasudra, Veljko Milutinovic Hardcover R4,204 Discovery Miles 42 040
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,491 Discovery Miles 14 910
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,281 Discovery Miles 22 810
PC Interfacing (Paperback, 3rd ed.): Pei An
PC Interfacing
Pei An Paperback R1,213 Discovery Miles 12 130
Media Ownership and Concentration in America (Hardcover, New): Eli M. Noam
Media Ownership and Concentration in…
Eli M. Noam Hardcover R3,786 Discovery Miles 37 860
Digital Video Editing with Final Cut Express - The Real-World Guide to Set Up and Workflow (Paperback): Charles Roberts
Digital Video Editing with Final Cut…
Charles Roberts Paperback R763 Discovery Miles 7 630
Microsoft Windows 10 Tips & Tricks (Fold-out book or chart): Joan Lambert
Microsoft Windows 10 Tips & Tricks
Joan Lambert Fold-out book or chart R229 Discovery Miles 2 290
Clean Architecture - A Craftsman's Guide to Software Structure and Design (Paperback): Robert Martin
Clean Architecture - A Craftsman's Guide…
Robert Martin Paperback  (1)
 R860 R741 Discovery Miles 7 410
TI-83 Plus Calculator (Fold-out book or chart): BarCharts Inc
TI-83 Plus Calculator
BarCharts Inc Fold-out book or chart R229 Discovery Miles 2 290
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,763 Discovery Miles 27 630
Systems Engineering Neural Networks (Hardcover): A Migliaccio
Systems Engineering Neural Networks
A Migliaccio Hardcover R2,817 Discovery Miles 28 170

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