Formal Hardware Verification: Methods and Systems in Comparison - Couverture rigide

Kropf, Thomas

9783540634751: Formal Hardware Verification: Methods and Systems in Comparison

Couverture rigide

ISBN 10 : 3540634754 ISBN 13 : 9783540634751

Editeur : Springer Berlin Heidelberg, 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 16,52

9 Neuf

De EUR 48,37

This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.

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

�diteur: Springer Berlin Heidelberg
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3540634754
ISBN 13: 9783540634751
Reliure: Reli�
Nombre de pages: 388
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

�tat : Assez bon

388 Seiten; 9783540634751.3 Gewicht...

Afficher cet article

EUR 16,52

Autre devise

EUR 15,90 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 48,37

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

9783662174937: Formal Hardware Verification: Methods and Systems in Comparison

Edition pr�sent�e

ISBN 10 : 3662174936 ISBN 13 : 9783662174937
Editeur : Springer, 2014
Couverture souple

R�sultats de recherche pour Formal Hardware Verification: Methods and Systems in...

Image fournie par le vendeur

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)

Kropf, Thomas:

Edit� par Springer Berlin Heidelberg, 2008

ISBN 10 : 3540634754 ISBN 13 : 9783540634751

Ancien ou d'occasion Couverture rigide

Vendeur : Studibuch, Stuttgart, Allemagne

�valuation du vendeur 5 sur 5 �toiles

hardcover. Etat : Gut. 388 Seiten; 9783540634751.3 Gewicht in Gramm: 1. N� de r�f. du vendeur 860124

Contacter le vendeur

Acheter D'occasion

EUR 16,52

Autre devise

Frais de port : EUR 15,90

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Hardware Verification

Kropf, Thomas

Edit� par Springer Berlin Heidelberg, 1997

ISBN 10 : 3540634754 ISBN 13 : 9783540634751

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book presents various approaches to formal hardware verification with an emphasis on approaches that could be turned into actual verification systems. The theoretical foundations of the various methods and systems are provided and their applicational p. N� de r�f. du vendeur 4896352

Contacter le vendeur

Acheter neuf

EUR 48,37

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Hardware Verification : Methods and Systems in Comparison

Thomas Kropf

Edit� par Springer Berlin Heidelberg, 1997

ISBN 10 : 3540634754 ISBN 13 : 9783540634751

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given. N� de r�f. du vendeur 9783540634751

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287)

Kropf, Thomas

Edit� par Springer, 1997

ISBN 10 : 3540634754 ISBN 13 : 9783540634751

Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 60,41

Autre devise

Frais de port : EUR 4,61

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Hardware Verification

Thomas Kropf

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997

ISBN 10 : 3540634754 ISBN 13 : 9783540634751

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch. N� de r�f. du vendeur 9783540634751

Contacter le vendeur