Mijn boeken
← Catalogus
Operational aspects of type systems
Ilya Sergey

Operational aspects of type systems inter-derivable semantics of type checking and gradual types for object ownership

Ilya Sergey
Paperback234 pagina’sEngels
In het kort
ISBN-13
9789460185847
Uitgever
Katholieke Universiteit Leuven, Faculteit ingenieurswetenschappen
Verschenen
5 november 2012
NUR
958 · Computertechniek

Lijkt op dit boek

Omslag van Jan Prins in gesprek met Ron de Mos
Jan Prins in gesprek met Ron de Mos
Omslag van Hoe maak je van ChatGPT jouw succes?
Hoe maak je van ChatGPT jouw succes?
Omslag van Cyber security
Cyber security
Omslag van Unhacked
Unhacked
Omslag van Implementing the internet of things
Implementing the internet of things
Omslag van Internet of things
Internet of things
Omslag van Sensoren aan de Raspberry Pi 2
Sensoren aan de Raspberry Pi 2
Omslag van De wereldwijde opmars van Smart Industry
De wereldwijde opmars van Smart Industry
Omslag van Internet of things
Internet of things
Omslag van De wereldwijde opmars van Smart Industry
De wereldwijde opmars van Smart Industry
CB-relatie 8109288 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
Operational aspects of type systems
Ilya Sergey

Operational aspects of type systems

inter-derivable semantics of type checking and gradual types for object ownership
Ilya Sergey
Paperback234 pagina’sEngels
Bestel bij bol →
In het kort
ISBN-13
9789460185847
Uitgever
Katholieke Universiteit Leuven, Faculteit ingenieurswetenschappen
Verschenen
5 november 2012
NUR
958 · Computertechniek

Lijkt op dit boek

Alles bekijken →
Omslag van Jan Prins in gesprek met Ron de Mos
Jan Prins in gesprek met Ron de Mos
Jan Prins
Omslag van Hoe maak je van ChatGPT jouw succes?
Hoe maak je van ChatGPT jouw succes?
Dylan Oemar Said
Omslag van Cyber security
Cyber security
Bibi van den Berg
Omslag van Unhacked
Unhacked
Rian van Rijbroek
Omslag van Implementing the internet of things
Implementing the internet of things
Boban Vukicevic
Omslag van Internet of things
Internet of things
Willem Vermeend
CB-relatie 8109288 · Bijgewerkt 6 augustus 2026