Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification

Prijzen vanaf
35,10

Gesponsorde links

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 35,10

€ 35,10

Beschrijving (0)

Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification

Productspecificaties

Merk NobleTrex Press
EAN
  • 9798896650058

Independently Published

Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

36,47
Vergelijk 2 shops 2 shops

Mastering Agda

8,65
Meer informatie Meer info

Independently Published

Mastering Cursor IDE: A Practical Guide to AI-Assisted Programming and Modern Software Development

29,79
Vergelijk 3 shops 3 shops

Mastering Python: A Comprehensive Guide to Programming

18,74
Meer informatie Meer info
Uitgelichte Keuze
35,10
Naar shop