1. Home
  2. Vitalsource Technologies, Inc. Deductive Software Verification: Future Perspectives
  • #

Vitalsource Technologies, Inc. Deductive Software Verification: Future Perspectives

54.99 USD

Share:

Related products

Vitalsource Technologies, Inc. Deductive Software Verification The Key Book

Vitalsource Technologies, Inc. Deductive Software Verification The Key Book

109.00 USD
Vitalsource Technologies, Inc. Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

Vitalsource Technologies, Inc. Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

119.00 USD
Vitalsource Technologies, Inc. Automated Deduction Cade 27

Vitalsource Technologies, Inc. Automated Deduction Cade 27

89.99 USD
Vitalsource Technologies, Inc. Automated Deduction

Vitalsource Technologies, Inc. Automated Deduction - Cade-18

54.99 USD
Vitalsource Technologies, Inc. Automated Deduction

Vitalsource Technologies, Inc. Automated Deduction - Cade-17

54.99 USD
Vitalsource Technologies, Inc. Foundations Of Deductive Databases And Logic Programming

Vitalsource Technologies, Inc. Foundations Of Deductive Databases And Logic Programming

93.95 USD
Vitalsource Technologies, Inc. Consistent Preferences Approach To Deductive Reasoning In Games

Vitalsource Technologies, Inc. Consistent Preferences Approach To Deductive Reasoning In Games

99.00 USD
Vitalsource Technologies, Inc. Automated Deduction

Vitalsource Technologies, Inc. Automated Deduction - Cade-21

54.99 USD