Reasoning about Java programs higher order logic using PVS and Isabelle
M. Huisman
Reasoning about Java programs higher order logic using PVS and Isabelle
PaperbackNederlands
In het kort
Bibliografisch
ISBN-139789090144405
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01M. Huisman
Herkomst
Werk-id (NSTC)501271355
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501271355 · CB-relatie 9511125 · Bijgewerkt 6 augustus 2026