Mijn boeken
← Catalogus
Reasoning about Hyperproperties
Dimiter Milushev

Reasoning about Hyperproperties

Dimiter Milushev
Paperback192 pagina’sEngels
In het kort
ISBN-13
9789086496280
Uitgever
KU Leuven, Faculteit Wetenschappen
Verschenen
19 juni 2013
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 9359143 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Reasoning about Hyperproperties
Dimiter Milushev

Reasoning about Hyperproperties

Dimiter Milushev
Paperback192 pagina’sEngels
Bestel bij bol →
In het kort
ISBN-13
9789086496280
Uitgever
KU Leuven, Faculteit Wetenschappen
Verschenen
19 juni 2013
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 9359143 · Bijgewerkt 6 augustus 2026