Formal System Verification - - Livres - Springer International Publishing AG - 9783319576831 - 3 juillet 2017
Si la couverture et le titre ne correspondent pas, le titre est correct.

Formal System Verification 1st ed. 2018 edition

Prix
€ 115,99

Commandé depuis un entrepôt distant

Livraison prévue 25 juin - 3 juil.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).

182 pages, 49 Illustrations, color; 22 Illustrations, black and white; XVI, 182 p. 71 illus., 49 ill

Médias Livres     Book
Validé 3 juillet 2017
ISBN13 9783319576831
Éditeurs Springer International Publishing AG
Pages 182
Dimensions 150 × 220 × 20 mm   ·   458 g
Langue et grammaire Allemand  
Éditeur Drechsler, Rolf

Mere med samme udgiver