Mijn boeken
← Catalogus
Reasoning about Java programs higher order logic using PVS and Isabelle
M. Huisman

Reasoning about Java programs higher order logic using PVS and Isabelle

M. Huisman
PaperbackNederlands
In het kort
ISBN-13
9789090144405
Uitgever
Huisman, M.
NUR
600 · Non-fictie informatief/professioneel algemeen

Lijkt op dit boek

Omslag van Retorische scherpzinnigheid
Retorische scherpzinnigheid
Omslag van Resonerend lesgeven
Resonerend lesgeven
Omslag van Resonerend lesgeven
Resonerend lesgeven
Omslag van The Death Cult
The Death Cult
Omslag van The Extinction Paradox
The Extinction Paradox
Omslag van Abundance
Abundance
Omslag van Abundance
Abundance
Omslag van Lang leve literaire competentie
Lang leve literaire competentie
Omslag van Als je gevoel er niet mag zijn
Als je gevoel er niet mag zijn
Omslag van Fight or flight op de werkvloer
Fight or flight op de werkvloer
NSTC 501271355 · CB-relatie 9511125 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Reasoning about Java programs higher order logic using PVS and Isabelle
M. Huisman

Reasoning about Java programs higher order logic using PVS and Isabelle

M. Huisman
PaperbackNederlands
Bestel bij bol →
In het kort
ISBN-13
9789090144405
Uitgever
Huisman, M.
NUR
600 · Non-fictie informatief/professioneel algemeen

Lijkt op dit boek

Alles bekijken →
Omslag van Retorische scherpzinnigheid
Retorische scherpzinnigheid
Edward De Vooght
Omslag van Resonerend lesgeven
Resonerend lesgeven
Wieke Karsten
Omslag van Resonerend lesgeven
Resonerend lesgeven
Wieke Karsten
Omslag van The Death Cult
The Death Cult
Bart Flos
Omslag van The Extinction Paradox
The Extinction Paradox
Bart Flos
Omslag van Abundance
Abundance
Ezra Klein
NSTC 501271355 · CB-relatie 9511125 · Bijgewerkt 6 augustus 2026