Object-oriented concepts and proof rules
J. Zwanenburg
Object-oriented concepts and proof rules formalization in type theory and implementation in Yarrow
PaperbackEngels
In het kort
Bibliografisch
ISBN-139789038607313
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Informatica algemeen 980
NUR (alle)980 Informatica algemeen
Medewerkers
Auteur A01J. Zwanenburg
Herkomst
Werk-id (NSTC)501237737
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
Dit is voor iedereen
The ELM AI Data Modelling Framework
The ELM AI Data Modelling Framework
The ELM AI Data Modelling Framework - B&W edition
Microsoft Flight Simulator 2024 Made Easy for PS5
Proceedings of the 4th Workshop on Gender-Inclusive Translation Technologies (GITT 2026)
Proceedings of the First Workshop on Style in GenAI-Translated Content - StyGenAI
Proceedings of the 1st International Workshop on Teaching AI-based Translation and Technologies (TAITT 2026)
Mastering Microsoft Flight Simulator 2024
The Killer Isn't Alice
NSTC 501237737 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026