The following text field will produce suggestions that follow it as you type.

Home

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Barnes and Noble

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Current price: $54.99
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Barnes and Noble

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Current price: $54.99

Size: OS

Loading Inventory...
CartBuy Online
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

You May Also Like

Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Loading Inventory...
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Barnes and Noble
Current price: $54.99
Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF Nantes, France, July 7-8, Proceedings
Loading Inventory...
Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF Nantes, France, July 7-8, Proceedings
Barnes and Noble
Current price: $59.99
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Loading Inventory...
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Barnes and Noble
Current price: $54.99
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Loading Inventory...
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Barnes and Noble
Current price: $54.99
Security and Trust Management: 19th International Workshop, STM 2023, The Hague, Netherlands, September 28, Proceedings
Loading Inventory...
Security and Trust Management: 19th International Workshop, STM 2023, The Hague, Netherlands, September 28, Proceedings
Barnes and Noble
Current price: $54.99
Graph Transformation: 14th International Conference, ICGT 2021, Held as Part of STAF Virtual Event, June 24-25, Proceedings
Loading Inventory...
Graph Transformation: 14th International Conference, ICGT 2021, Held as Part of STAF Virtual Event, June 24-25, Proceedings
Barnes and Noble
Current price: $54.99
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, P
Loading Inventory...
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, P
Barnes and Noble
Current price: $44.99
Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
Loading Inventory...
Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
Barnes and Noble
Current price: $54.99
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / Edition 1
Loading Inventory...
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / Edition 1
Barnes and Noble
Current price: $54.99
Software Verification: 12th International Conference, VSTTE 2020, and 13th Workshop, NSV Los Angeles, CA, USA, July 20-21, Revised Selected Papers
Loading Inventory...
Software Verification: 12th International Conference, VSTTE 2020, and 13th Workshop, NSV Los Angeles, CA, USA, July 20-21, Revised Selected Papers
Barnes and Noble
Current price: $54.99
Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings
Loading Inventory...
Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings
Barnes and Noble
Current price: $54.99
Innovations for Community Services: 17th International Conference, I4CS 2017, Darmstadt, Germany, June 26-28, 2017, Proceedings
Loading Inventory...
Innovations for Community Services: 17th International Conference, I4CS 2017, Darmstadt, Germany, June 26-28, 2017, Proceedings
Barnes and Noble
Current price: $54.99

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

men.jpg

Men

women.jpg

Women

baby abd kids.jpg

Baby and Kids

beaity.jpg

Beauty

jewelry.jpg

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Store Info

Powered by Adeptmind