Ergebnisse für: Functional Programming Semantics Formal Verification Haskell Isabelle

Hier findest Du Bücher, die sich mit Functional Programming Semantics Formal Verification Haskell Isabelle beschäftigen.

Buch Cover Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

KIT Scientific Publishing
36 € · Paperback
...

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden