THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 10TH INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2014, HELD IN HAIFA, ISRAEL, IN NOVEMBER 2014. THE 17 REVISED FULL PAPERS AND 4 SHORT PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 43 SUBMISSIONS. THE PAPERS COVER A WIDE RANGE OF TOPICS IN THE SUB-FIELDS OF TESTING AND VERIFICATION APPLICABLE TO SOFTWARE, HARDWARE, AND COMPLEX HYBRID SYSTEMS.
"Sinopsis" puede pertenecer a otra edición de este libro.
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.
"Sobre este título" puede pertenecer a otra edición de este libro.
GRATIS gastos de envío desde Canada a Estados Unidos de America
Destinos, gastos y plazos de envíoEUR 3,55 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoLibrería: Irolita Books, Aurora, ON, Canada
Paperback. Condición: NEAR FINE. Slight shelfwear. Otherwise like new. 301 pages. -- Please feel free to ask for additional information, or detailed photos. Ships with tracking. Nº de ref. del artículo: 9541
Cantidad disponible: 1 disponibles
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020089093
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 22095651-n
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 22095651
Cantidad disponible: Más de 20 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9783319133379_new
Cantidad disponible: Más de 20 disponibles
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014.The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems. 320 pp. Englisch. Nº de ref. del artículo: 9783319133379
Cantidad disponible: 2 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 22095651
Cantidad disponible: Más de 20 disponibles
Librería: Chiron Media, Wallingford, Reino Unido
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783319133379
Cantidad disponible: 10 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: New. Nº de ref. del artículo: 22095651-n
Cantidad disponible: Más de 20 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014.The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems. Nº de ref. del artículo: 9783319133379
Cantidad disponible: 1 disponibles