audio

Auteur

Markus Axel Aderhold

Œuvres

Verification of second-order functional programs [Elektronische Ressource] / von Markus Axel Aderhold
Category

Documents

Verification of second-order functional programs [Elektronische Ressource] / von Markus Axel Aderhold

Markus Axel Aderhold

Verification of second-order functional programs [Elektronische Ressource] / von Markus Axel Aderhold Alternate Text
Category

Documents

Savoirs

Verification of second-order functional programs [Elektronische Ressource] / von Markus Axel Aderhold

Markus Axel Aderhold

Book

248 pages

Flag

English

icon play Lire
icon play Infos
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
expand_more
Alternate Text