Type d'article
Etat
Reliure
Particularités
Pays
Evaluation du vendeur
Edité par Springer, 2010
ISBN 10 : 1441954201ISBN 13 : 9781441954206
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Edité par Springer, 2010
ISBN 10 : 1441954201ISBN 13 : 9781441954206
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Livre
Etat : New.
Edité par Springer, 2010
ISBN 10 : 1441954201ISBN 13 : 9781441954206
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Livre impression à la demande
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer US, 2010
ISBN 10 : 1441954201ISBN 13 : 9781441954206
Vendeur : moluna, Greven, Allemagne
Livre impression à la demande
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today s verification tools and describe vari.
Edité par Springer US, 2010
ISBN 10 : 1441954201ISBN 13 : 9781441954206
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs.
Edité par Springer-Verlag New York Inc., 2010
ISBN 10 : 1441954201ISBN 13 : 9781441954206
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Livre impression à la demande
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Edité par Springer US Dez 2010, 2010
ISBN 10 : 1441954201ISBN 13 : 9781441954206
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs. 280 pp. Englisch.
Edité par Springer, 2010
ISBN 10 : 1441954201ISBN 13 : 9781441954206
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Livre
Paperback. Etat : Like New. Like New. book.