Idris-Leitfaden für Fortgeschrittene: Wie man mit Idris typsichere und verifizierte Anwendungen erstellt

Idris-Leitfaden für Fortgeschrittene: Wie man mit Idris typsichere und verifizierte Anwendungen erstellt

Independently published

Pages: 197, Hardcover, Independently published

Compare prices (1 shop)

Sort: Price: lowest first Price: highest first

shop	Price	Action
	23,53 GBP	Go to shop

Similar products

Idris-Leitfaden für Fortgeschrittene: Wie man mit Idris typsichere und verifizierte Anwendungen erstellt
From 14,81 EUR
Lua-Leitfaden für Fortgeschrittene: Wie man Spielskripte erstellt und Anwendungen mit Lua erweitert
From 25,29 EUR
Lua-Leitfaden für Fortgeschrittene: Wie man Spielskripte erstellt und Anwendungen mit Lua erweitert
From 16,57 EUR
Nim-Leitfaden für Fortgeschrittene: Wie man Nim für praktische und leistungsstarke Anwendungen einsetzt
From 16,68 EUR
Nim-Leitfaden für Fortgeschrittene: Wie man Nim für praktische und leistungsstarke Anwendungen einsetzt
From 23,72 EUR
Erlang-Leitfaden für Fortgeschrittene: Wie man das Akteurmodell für skalierbare Anwendungen anwendet
From 16,59 EUR