＜p＞Given the growing size and heterogeneity of Systems on Chip (SOC), the design process from initia
12,154 円
＜p＞Based on the highly successful second edition, this extended edition of ＜em＞SystemVerilog for Ver
7,900 円
＜p＞The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Int
6,076 円
＜p＞Ten expert contributors present a blueprint for actions future government leaders will need to gu
997 円
＜p＞More than ever, FDL is the place for researchers, developers, industry designers, academia, and E
18,231 円
＜p＞Simple Mail Transfer Protocol (SMTP) is a set of rules used while sending emails. Usually, this p
2,439 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
25,659 円
＜p＞"Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification" serv
1,437 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
15,847 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
25,205 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
15,625 円
＜p＞This book provides comprehensive coverage of verification and debugging techniques for embedded s
10,938 円
＜p＞Attitudes and methods derived from the hard sciences have become increasingly commonplace in the
3,318 円
LEVERAGING APPLNS OF FORMAL ME Tiziana Margaria Bernhard Steffen SPRINGER NATURE2010 Paperback Engli
37,510 円
＜p＞This book constitutes the refereed proceedings of the 18th International Conference on Verificati
7,049 円
DIGITAL DESIGN USING VERILOGHD Shilpi Birla B. P. Singh Neeraj Kumar Shukla MORGAN KAUFMANN PUBL INC
57,420 円
＜p＞Today a lot of sites require SMS verification code for registration account. If you do not want t
1,428 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
18,961 円
＜p＞Originally published in 1985, the level of anxiety and suspicion between the USA and the USSR had
8,733 円
＜p＞The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Inter
6,076 円
＜p＞In Atomic Testing in Mississippi, David Allen Burke illuminates the nearly forgotten history of A
2,962 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
39,415 円
＜p＞The "Thirteenth Report on Human Rights of the United Nations Verification Mission in Guatemala" o
300 円
＜p＞The Missing Theory of Verification and Validation of Digital Systems＜/p＞画面が切り替わりますので、しばらくお待ち下さい。
1,746 円
＜p＞This book offers an in-depth verification of numerical solutions for differential equations model
5,469 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
16,190 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
31,685 円
＜p＞This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at
10,331 円
＜p＞Systems' Verification Validation and Testing (VVT) are carried out throughout systems' lifetimes.
25,797 円
【30日間返品保証】商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。【最短翌日到着】正午12時まで（日曜日は午前9時まで）の注文は当日発送（土日祝も発送）。関東・関
8,795 円