Program Development in Computational Logic | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Program Development in Computational Logic
  • #
  • #

Program Development in Computational Logic

53.49 EUR

Teilen:

Ähnliche Produkte

Dual Diagnosis: Evaluation, Treatment, Training, And Program Development

Dual Diagnosis: Evaluation, Treatment, Training, And Program Development

104.74 EUR
Dual Diagnosis: Evaluation, Treatment, Training, and Program Development

Dual Diagnosis: Evaluation, Treatment, Training, and Program Development

101.54 EUR
Talent Development in European Higher Education: Honors programs in the Benelux, Nordic and German-speaking countries

Talent Development in European Higher Education: Honors programs in the Benelux, Nordic and German-speaking countries

53.49 EUR
Formal Program Development

Formal Program Development

53.49 EUR
Rigorous Software Development: An Introduction to Program Verification

Rigorous Software Development: An Introduction to Program Verification

37.40 EUR
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions

128.39 EUR