2010... for Symposium 9783642156427 Automated ATVA Technology and Analysis 8th International Verification 4周达
￥660660售0件
Object Programming Aliasing Verification and Analysis 9783642369452 4周达 Types Oriented
￥660660售0件
Proof Lectures Approximation 4周达 9783540642015 and Verification Algorithms
￥660660售0件
... Applications Formal 9783030034207 and 4周达 Verification Leveraging 8th Methods Validation.
￥660660售0件
September... 17th 9783319675305 Runtime USA Verification Conference 2017 Seattle International 4周达
￥660660售0件
4周达 Verification 2015 Francisco Aided CAV ... 27th 9783319216676 Computer Conference San International
￥660660售0件
and IFIP Design Emb... 4th 9783642388521 International Verification 精装 4周达 Analysis Embedded Systems
￥660660售0件
9783540654452 Introduction Verification Formal Hardware 精装 4周达
￥660660售0件
Septe... Second Francisco 9783642298592 Runtime USA Verification Conference 2011 San international 4周达
￥660660售0件
Conference Trento 11th ... 9783540662020 Cav Computer 4周达 International Italy July Aided Verification
￥660660售0件
20... for Symposium 9783319681665 Automated ATVA Technology and Analysis 15th International Verification 4周达
￥660660售0件
4周达 Source IFIP 2.13 Open International 9th Conference... Software 9783642389276 精装 Verification Quality
￥660660售0件
Nanoscale VLSI the Design Chip Verification SoC 9783319671031 and – Era 精装 System Reliability... 4周达
￥660660售0件
23... 16th Spain 9783319469812 Runtime September Verification Conference 2016 Madrid International 4周达
￥660660售0件
... Model and 9783642182747 12th 4周达 Interpretation Verification Conference Abstract International Checking
￥660660售0件
20... for Symposium 9783319119359 Automated ATVA Technology and Analysis 12th International Verification 4周达
￥660660售0件
Definition Virtual 4周达 and the Verification 9783642639975 Java Validation Machine
￥660660售0件
... Model and 9783540938996 10th 4周达 Interpretation Verification Conference Abstract International Checking
￥660660售0件
... Model and 9783642113185 11th 4周达 Interpretation Verification Conference Abstract International Checking
￥660660售0件
4周达 Verification Models Logic and Based Interaction Approach 9783642145377 Specification Open Declarative
￥660660售0件
... Model and 9783540697350 8th 4周达 Interpretation Verification Conference Abstract International Checking
￥660660售0件
Verification Calculus Computation 9783642093470 with 4周达 Procedures The Decision Applications
￥648648售0件
Algorithms Synthesis Structures 2017 Logic 9783319431734 ed. for 精装 4周达 and Verification 1st New Data
￥638638售0件
9783211820636 Computation Verification Automatic Result with Scientific 4周达
￥638638售0件
Software Testing and Hardware Con... Haifa International 9783319703886 4周达 13th Verification
￥638638售0件
Work... Formal 22nd 9783319671123 Critical International Systems and Automated Verification Joint Methods 4周达
￥638638售0件
Oc... Termination 9783642171710 Verification the Induction Festschrift for Christoph Walther Analysis 4周达
￥638638售0件
4周达 Software International Source Conference IFIP OSS... Quality 9783642427435 Open 9th 2.13 Verification
￥638638售0件
Software Testing and Hardware Conf... Haifa International 9783642017018 4周达 4th Verification
￥638638售0件
Conf... and 9783319661759 Systems 4周达 Communication Verification International Computer 11th Evaluation
￥638638售0件
4周达 Process Verification Prediction for and ... Models 9783540892236 Metrics Foundations Error Empirical
￥638638售0件
4周达 and Softcover Verification reprint Hands o... Analysis 9781849968294 Software Integrated Approach
￥638638售0件
