New Foundations for Separation Logic (Coq artifact)
Hans-Dieter A. Hiep
New Foundations for Separation Logic (Coq artifact)
DAEngels
In het kort
ISBN-13
9789083182636
Uitgever
Verschenen
20 maart 2024
Bibliografisch
ISBN-139789083182636
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormDA
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01Hans-Dieter A. Hiep
Herkomst
Werk-id (NSTC)501580133
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
ArchiMate® 4 Specification
ArchiMate® 4 Specification
ArchiMate® 4 Specification
Open Agile Architecture™ Standard, Version 2.0
Open Agile Architecture™ Standard, Version 2.0
Open Agile Architecture™ Standard, Version 2.0
Continuous Information Management
Electriciteit trillingen en golven
Ontwerpen van Technische Innovaties
Circulair productontwerpen
NSTC 501580133 · CB-relatie 6049447 · Bijgewerkt 6 augustus 2026