VERIFICATION MODEL CHECKING & Lecture Notes in Computer Science Krishna Shankaranarayanan Sriram San
23,870 円
VERIFICATION MODEL CHECKING & Lecture Notes in Computer Science Krishna Shankaranarayanan Sriram San
23,870 円
＜p＞＜strong＞Successfully manage your laboratory accreditation and compliance audits with this easily
11,465 円
＜p＞Considering the visual coverage of the war in Ukraine, this book provides critical insights into
5,719 円
＜p＞This book constitutes the refereed proceedings of the First International Symposium on Software F
7,900 円
・アーティスト Prolog ・タイトル External Verification / Terrafirma ・レーベル・型番 Hardleaders HL37 ・フォーマット 12インチレコード
664 円
＜p＞The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Sym
18,231 円
＜p＞The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Sym
15,800 円
＜p＞How can one be assured that computer codes that solve differential equations are correct? Standar
39,307 円
＜p＞＜strong＞This book outlines a methodology to develop formally verified Just-in-Time compilers. Jus
6,529 円
＜p＞The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Con
7,900 円
＜p＞The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Con
7,900 円
＜p＞＜strong＞Psicologia nera: come puoi facilmente riconoscere le influenze pericolose dei tuoi simili
1,300 円
＜p＞Striking a balance between the use of computer-aided engineering practices and classical life tes
74,037 円
＜p＞This book presents an innovative approach to verifying and validating rule-based expert systems.
41,225 円
＜p＞This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research,
9,116 円
＜p＞This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research,
9,723 円
＜p＞This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research,
8,507 円
＜p＞The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In
9,723 円
＜p＞The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In
9,116 円
＜p＞The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In
8,021 円
＜p＞The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In
6,076 円
＜p＞"Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification" serv
1,437 円
＜p＞＜strong＞Complete and comprehensive manual for eliciting, defining, and managing needs and require
12,026 円
＜p＞＜strong＞There are significant financial and legal implications for ensuring design correctness an
6,529 円
●カバーに芯とウレタンクッションが入った、高級感のあるBLITZロゴ入り?検証ケース。● 電子?検証専用ポケットと折れ防止の台紙を付属。従来のA4?検証にも対応します。● 自賠責保険証書などが収まるA
2,315 円
●カバーに芯とウレタンクッションが入った、高級感のあるBLITZロゴ入り?検証ケース。● 電子?検証専用ポケットと折れ防止の台紙を付属。従来のA4?検証にも対応します。● 自賠責保険証書などが収まるA
3,005 円
＜p＞This book constitutes the refereed proceedings of the 24th International Conference on Runtime Ve
6,685 円
＜p＞The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In
9,723 円
＜p＞This book provides brief survey of the some Voice Over IP (VOIP) providers, including the provide
2,377 円