Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs

Authors :: Marchant, David
Johnsen, Carl-Johannes
Vinter, Brian
Skovhede, Kenneth
Marchant, David
Johnsen, Carl-Johannes
Vinter, Brian
Skovhede, Kenneth
Source :: Marchant , D , Johnsen , C-J , Vinter , B & Skovhede , K 2019 , Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs . in 2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC) . , 19243789 , IEEE , Denver, USA .
Publication Year :: 2019

Database :: OAIster
Journal :: Marchant , D , Johnsen , C-J , Vinter , B & Skovhede , K 2019 , Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs . in 2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC) . , 19243789 , IEEE , Denver, USA .
Notes :: English
Publication Type :: Electronic Resource
Accession number :: edsoai.on1322743707
Document Type :: Electronic Resource

Tools