The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Java and the Java Virtual Machine: Definition, Verification, Validation

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Advanced Design and Implementation of Virtual Machines

Advanced Design and Implementation of Virtual Machines

Barnes and Noble
Effective Functional Verification: Principles and Processes

Effective Functional Verification: Principles and Processes

Barnes and Noble
Formal Software Development: From VDM to Java

Formal Software Development: From VDM to Java

Barnes and Noble
The Foundations of Program Verification

The Foundations of Program Verification

Barnes and Noble
System-on-Chip Security: Validation and Verification

System-on-Chip Security: Validation and Verification

Barnes and Noble
Post-Silicon and Runtime Verification for Modern Processors

Post-Silicon and Runtime Verification for Modern Processors

Barnes and Noble
Requirement Validation: An Introduction

Requirement Validation: An Introduction

Barnes and Noble
Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, Proceedings

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, Proceedings

Barnes and Noble
Java: the Good Parts: Unearthing Excellence Java

Java: the Good Parts: Unearthing Excellence Java

Barnes and Noble
Quick Java

Quick Java

Barnes and Noble
Introduction to Formal Hardware Verification / Edition 1

Introduction to Formal Hardware Verification / Edition 1

Barnes and Noble
The Java' Programming Language / Edition 4

The Java' Programming Language / Edition 4

Barnes and Noble
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / Edition 1

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / Edition 1

Barnes and Noble
Handbook of Computer Aided Verification

Handbook of Computer Aided Verification

Barnes and Noble
High-Level Verification: Methods and Tools for Verification of System-Level Designs

High-Level Verification: Methods and Tools for Verification of System-Level Designs

Barnes and Noble
Java: A Detailed Approach to Practical Coding

Java: A Detailed Approach to Practical Coding

Barnes and Noble
Powered by Adeptmind