Programming languages and systems 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...

kostenfrei
kostenfrei

Programming languages and systems 28th European Symposium on Programming, ESOP 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...

Volltext

Programming languages and systems 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017,...

Volltext

Programming languages and systems 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

kostenfrei
kostenfrei

Programming languages and systems 27th European Symposium on Programming, ESOP 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

kostenfrei
kostenfrei

Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,...

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

Volltext

Programming languages and systems 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014,...

DE-634
DE-Aug4
DE-M347
DE-92
DE-859
DE-861
DE-91
DE-384
DE-473
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext
Inhaltsverzeichnis
Abstract

Programming languages and systems 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020,...

Pattern calculus computing with functions and structures von Jay, Barry

Inhaltsverzeichnis

Types for proofs and programs International Conference, TYPES 2008, Torino, Italy, March 26 - 29, 2008 ; revised selected papers

Volltext

Types for proofs and programs international conference, types 2007, Cividale del Friuli, Italy, May 2 - 5, 2007 ; revised selected papers

DE-634
DE-M347
DE-91
DE-384
DE-473
DE-19
DE-703
DE-706
DE-739
DE-355
Volltext

Programming languages and systems 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 U...

Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,...

Volltext

Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)

Types for proofs and programs international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers

Modular specification and verification of object oriented programs von Müller, Peter 1972-

Typisierung autonomer Softwareagenten von Zapf, Michael 1969-

Inhaltsverzeichnis

Typed server pages von Draheim, Dirk

Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers

DE-91
DE-384
DE-19
DE-739
Volltext