Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ... 8855 (Programming and Software Engineering) - Softcover

9783319133379: Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ... 8855 (Programming and Software Engineering)

Softcover

ISBN 10: 3319133373 ISBN 13: 9783319133379

Verlag: Springer, 2014

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

�ber die Autorin bzw. den Autor

Charlotte y Peter Fiell son dos autoridades en historia, teor�a y cr�tica del dise�o y han escrito m�s de sesenta libros sobre la materia, muchos de los cuales se han convertido en �xitos de ventas. Tambi�n han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Dise�o del siglo XX, El dise�o industrial de la A a la Z, Scandinavian Design y Dise�o del siglo XXI.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Springer
Erscheinungsdatum: 2014
Sprache: Englisch
ISBN 10: 3319133373
ISBN 13: 9783319133379
Einband: Tapa blanda
Anzahl der Seiten: 320
Herausgeber: Yahav Eran
Kontakt zum Hersteller: Nicht verf�gbar

Neu kaufen

Diesen Artikel anzeigen

EUR 53,49

W�hrung umrechnen

Gratis f�r den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Suchergebnisse f�r Hardware and Software: Verification and Testing: 10th...

Foto des Verk�ufers

Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Eran Yahav

Verlag: Springer International Publishing, Springer International Publishing, 2014

ISBN 10: 3319133373 ISBN 13: 9783319133379

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: 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. Artikel-Nr. 9783319133379

Verk�ufer kontaktieren

Neu kaufen

EUR 53,49

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers