Ingen varer
Kassen / rediger kurv
Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming... Læs mere