Mijn boeken
← Catalogus
Formalisation and soundness of static verification algorithms for imperative programs
Frédéric Vogels

Formalisation and soundness of static verification algorithms for imperative programs

Frédéric Vogels
Paperback460 pagina’sEngels
In het kort
ISBN-13
9789460186059
Uitgever
Katholieke Universiteit Leuven, Faculteit ingenieurswetenschappen
Verschenen
13 december 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
Formalisation and soundness of static verification algorithms for imperative programs
Frédéric Vogels

Formalisation and soundness of static verification algorithms for imperative programs

Frédéric Vogels
Paperback460 pagina’sEngels
Bestel bij bol →
In het kort
ISBN-13
9789460186059
Uitgever
Katholieke Universiteit Leuven, Faculteit ingenieurswetenschappen
Verschenen
13 december 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