Home

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Barnes and Noble

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

$54.99

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Barnes and Noble

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

$54.99

Size: OS

Loading Inventory...

*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble

You May Also Like

Information Systems Security: 11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015. Proceedings

Loading Inventory...

Information Systems Security: 11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015. Proceedings

Energy Efficiency Motor Systems: Proceedings of the 11th international Conference EEMODS'19

Loading Inventory...

Energy Efficiency Motor Systems: Proceedings of the 11th international Conference EEMODS'19

ICT Innovations 2019. Big Data Processing and Mining: 11th International Conference, ICT Innovations 2019, Ohrid, North Macedonia, October 17-19, 2019, Proceedings

Loading Inventory...

ICT Innovations 2019. Big Data Processing and Mining: 11th International Conference, ICT Innovations 2019, Ohrid, North Macedonia, October 17-19, 2019, Proceedings

Security and Trust Management: 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings

Loading Inventory...

Security and Trust Management: 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings

Neural Information Processing: 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV

Loading Inventory...

Neural Information Processing: 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV

Multimedia Communications, Services and Security: 8th International Conference, MCSS 2015, Kraków, Poland, November 24, 2015. Proceedings

Loading Inventory...

Multimedia Communications, Services and Security: 8th International Conference, MCSS 2015, Kraków, Poland, November 24, 2015. Proceedings

Software Measurement: 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Krakï¿½w, Poland, October 5-7, 2015, Proceedings

Loading Inventory...

Software Measurement: 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Krakï¿½w, Poland, October 5-7, 2015, Proceedings

Neural Information Processing: 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I

Loading Inventory...

Neural Information Processing: 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Loading Inventory...

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Proceedings of 4th International Conference in Software Engineering for Defence Applications: SEDA 2015

Loading Inventory...

Proceedings of 4th International Conference in Software Engineering for Defence Applications: SEDA 2015

Metadata and Semantic Research: 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings

Loading Inventory...

Metadata and Semantic Research: 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings

Smart Materials: Proceedings of the 1st Caesarium, Bonn, Nov. 17-19, 1999

Loading Inventory...

Smart Materials: Proceedings of the 1st Caesarium, Bonn, Nov. 17-19, 1999

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

Men

Women

baby abd kids.jpg

Baby and Kids

Beauty

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