Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers - Couverture souple

9783540326045: Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Couverture souple

ISBN 10 : 3540326049 ISBN 13 : 9783540326045

Editeur : Springer, 2006

Afficher les exemplaires de cette �dition comportant l?ISBN

4 D'occasion

De EUR 12

8 Neuf

De EUR 55,17

This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. The conference combines the sixth IBM Verification Workshop, the fourth IBM Software Testing Workshop, and the third PADTAD (Parallel and Distributed Systems: Testing and Debugging) Workshop. The 14 revised full papers presented together with three invited contributions were carefully reviewed and selected from 31 submissions. The papers address all current issues in hardware/software verification, software testing, and testing of parallel and concurrent applications.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

Pr�sentation de l'�diteur

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2006
Langue: anglais
ISBN 10: 3540326049
ISBN 13: 9783540326045
Reliure: Broch�
Nombre de pages: 280
�diteur: Ur Shmuel
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

X, 264 p. Softcover. Versand aus...

Afficher cet article

EUR 12

Exp�dition �EUR 30
Exp�dition depuis Allemagne vers Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 55,17

Exp�dition �EUR 2,27
Exp�dition nationale�: Etats-Unis

Ajouter au panier

R�sultats de recherche pour Hardware and Software, Verification and Testing: First...

Image d'archives

Hardware and Software Verification and Testing. First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers.

Ur, Shmuel; Eyal Bin; Yaron Wolfsthal (Eds.)

Edit� par Berlin, Springer., 2006

ISBN 10 : 3540326049 ISBN 13 : 9783540326045

Ancien ou d'occasion Couverture souple

Vendeur : Universit�tsbuchhandlung Herta Hold GmbH, Berlin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

X, 264 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband besto�en, daher M�ngelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Stamped/gestempelt. Lecture Notes in Computer Science, Vol. 3875 Sprache: Englisch. N� de r�f. du vendeur 5466DB

Contacter le vendeur

Acheter D'occasion

EUR 12

Exp�dition �EUR 30
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Ur, Shmuel (EDT); Bin, Eyal (EDT); Wolfsthal, Yaron (EDT)

Edit� par Springer, 2006

ISBN 10 : 3540326049 ISBN 13 : 9783540326045

Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 6909104-n

Contacter le vendeur

Acheter neuf

EUR 55,17

Exp�dition �EUR 2,27
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 15 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selec (Paperback or Softback)

Ur, Shmuel

Edit� par Springer 4/6/2006, 2006

ISBN 10 : 3540326049 ISBN 13 : 9783540326045

Neuf Paperback or Softback

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback or Softback. Etat : New. Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selec. Book. N� de r�f. du vendeur BBS-9783540326045

Contacter le vendeur

Acheter neuf

EUR 57,52

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... (Lecture Notes in Computer Science, 3875)

Edit� par Springer, 2006

ISBN 10 : 3540326049 ISBN 13 : 9783540326045

Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9783540326045

Contacter le vendeur

Acheter neuf

EUR 60,32

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised . / Programming and Software Engineering)

Ur, Shmuel [Editor]; Bin, Eyal [Editor]; Wolfsthal, Yaron [Editor];

Edit� par Springer, 2006

ISBN 10 : 3540326049 ISBN 13 : 9783540326045

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N� de r�f. du vendeur DA1412371

Contacter le vendeur

Acheter D'occasion

EUR 55,05

Exp�dition �EUR 6,02
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Ur, Shmuel (EDT); Bin, Eyal (EDT); Wolfsthal, Yaron (EDT)

Edit� par Springer, 2006

ISBN 10 : 3540326049 ISBN 13 : 9783540326045

Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : As New. Unread book in perfect condition. N� de r�f. du vendeur 6909104

Contacter le vendeur

Acheter D'occasion

EUR 62,15

Exp�dition �EUR 2,27
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 15 disponible(s)

Ajouter au panier

Image d'archives

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... (Lecture Notes in Computer Science, 3875)

Edit� par Springer, 2006

ISBN 10 : 3540326049 ISBN 13 : 9783540326045

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540326045_new

Contacter le vendeur

Acheter neuf

EUR 58,39

Exp�dition �EUR 13,78
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science)

Shmuel Ur

Edit� par Springer 2006-05-11, 2006

ISBN 10 : 3540326049 ISBN 13 : 9783540326045

Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : New. N� de r�f. du vendeur 6666-IUK-9783540326045

Contacter le vendeur

Acheter neuf

EUR 56,56

Exp�dition �EUR 17,81
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Ur, Shmuel (EDT); Bin, Eyal (EDT); Wolfsthal, Yaron (EDT)

Edit� par Springer, 2006

ISBN 10 : 3540326049 ISBN 13 : 9783540326045

Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 6909104-n

Contacter le vendeur

Acheter neuf

EUR 58,38

Exp�dition �EUR 17,25
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Ur, Shmuel (EDT); Bin, Eyal (EDT); Wolfsthal, Yaron (EDT)

Edit� par Springer, 2006

ISBN 10 : 3540326049 ISBN 13 : 9783540326045

Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : As New. Unread book in perfect condition. N� de r�f. du vendeur 6909104

Contacter le vendeur

Acheter D'occasion

EUR 66,22

Exp�dition �EUR 17,25
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

There are 2 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre