7 Ebooks by Simon Gay
Geoffrey Burn & Simon Gay: Theory and Formal Methods 1993
This volume contains the proceedings of the f Irst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member …
PDF
English
DRM
€56.14
Gay & Ravara: Behavioural Types
Behavioral type systems in programming languages support the specification and verification of programs’ properties beyond the traditional use of type systems to describe data processing. A major …
PDF
English
DRM
€118.60
Simon Gay & Antonio Ravara: Behavioural Types
Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major …
PDF
English
DRM
€50.30
Wim Schoenmaker: Computational Electrodynamics
Computational Electrodynamics is a vast research field with a wide variety of tools. In physics the principle of gauge invariance plays a pivotal role as a guide towards a sensible formulation of the …
PDF
English
DRM
€95.83
Simon Gay & Antonio Ravara: Behavioural Types
Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major …
EPUB
English
DRM
€50.38
Wim Schoenmaker: Computational Electrodynamics
Computational Electrodynamics is a vast research field with a wide variety of tools. In physics the principle of gauge invariance plays a pivotal role as a guide towards a sensible formulation of the …
EPUB
English
DRM
€95.14
