Articles

Kategorie Articles

Imperative functional programming in Isabelle/HOL

 |  Alexander Krauss

In: Otmane Ait Mohamed, César Muñoz, and Sofiène Tahar, editors, Theorem Proving in Higher Order Logics (TPHOLs 2008) (Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, and John Matthews) PDF

Ein Beitrag von
Alexander Krauss

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]

Mehr Informationen
Alexander

Related posts

Kategorie Articles
The best ICT employers – At QAware, code together alongside work
Christian Kamm
Kategorie
Kategorie Articles
Das Betriebssystem der Cloud
Andreas Zitzelsberger
Kategorie
Kategorie Articles
Cloud-native Anwendungen. Der neue Stack:  Mesos, Kubernetes, Netflix OSS & Spring Cloud
Andreas Zitzelsberger
Kategorie