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
Barnes and Noble

Advanced Design and Implementation of Virtual Machines

From Barnes and Noble
Formal Software Development: From VDM to Java
Barnes and Noble

Formal Software Development: From VDM to Java

From Barnes and Noble
The Foundations of Program Verification
Barnes and Noble

The Foundations of Program Verification

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

System-on-Chip Security: Validation and Verification

From Barnes and Noble
Requirement Validation: An Introduction
Barnes and Noble

Requirement Validation: An Introduction

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

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

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

Java: the Good Parts: Unearthing Excellence Java

From Barnes and Noble
Introduction to Formal Hardware Verification / Edition 1
Barnes and Noble

Introduction to Formal Hardware Verification / Edition 1

From Barnes and Noble
The Java' Programming Language / Edition 4
Barnes and Noble

The Java' Programming Language / Edition 4

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

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

From Barnes and Noble
Handbook of Computer Aided Verification
Barnes and Noble

Handbook of Computer Aided Verification

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

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

From Barnes and Noble
Java: A Detailed Approach to Practical Coding
Barnes and Noble

Java: A Detailed Approach to Practical Coding

From Barnes and Noble
Accuracy Verification Methods: Theory and Algorithms
Barnes and Noble

Accuracy Verification Methods: Theory and Algorithms

From Barnes and Noble
Decompiling Java
Barnes and Noble

Decompiling Java

From Barnes and Noble
Virtual Design and Validation
Barnes and Noble

Virtual Design and Validation

From Barnes and Noble
Powered by Adeptmind