New Foundations for Separation Logic
Hans-Dieter A. Hiep
In het kort
ISBN-13
9789083182612
Uitgever
Verschenen
20 maart 2024
Imprint
Bibliografisch
ISBN-139789083182612
Editie1
TaalEngels eng
Pagina’s256
GeïllustreerdJa
Uitgave
UitgeverHans-Dieter A. Hiep
ImprintHans-Dieter A. Hiep
CB-relatie-id6049447
Verschenen20 maart 2024
StatusOnbekend 00
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01Hans-Dieter A. Hiep
Herkomst
Werk-id (NSTC)501580132
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 501580132 · CB-relatie 6049447 · Bijgewerkt 6 augustus 2026