Coalgebraic Methods in Computer Science

Ebók

Coalgebraic Methods in Computer Science

15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings

Daniela Petrişan; Jurriaan Rot

Springer Nature

Prísur

374,95 kr.

Vørulýsing av

Coalgebraic Methods in Computer Science

Nágreining

Líknandi Bøkur

Finn líknandi bøkur her

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Roland Carl Backhouse; Jeremy Gibbons; Roy Crole

374,95 kr.