Formalization of process algebra with data in the calculus of constructions with inductive types
G. Kamsteeg
Formalization of process algebra with data in the calculus of constructions with inductive types
Paperback350 pagina’sNederlands
In het kort
Bibliografisch
ISBN-139789090126425
Editie1
TaalNederlands dut
Pagina’s350
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Informatica algemeen 980
NUR (alle)980 Informatica algemeen
Medewerkers
Auteur A01G. Kamsteeg
Herkomst
Werk-id (NSTC)501270640
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
Dit is voor iedereen
Digitale veerkracht vandaag en morgen
Microsoft Flight Simulator 2024 Made Easy for PS5
Microsoft Flight Simulator 2024 Made Simple
Mastering Microsoft Flight Simulator 2024
Find the Killer: 25 Murder Mystery Case Files for Adults
Find the Killer: 25 Impossible Murder Mysteries for Adults
DevOps Learning Roadmap
The Swarm
De medeplichtige
NSTC 501270640 · CB-relatie 8137304 · Bijgewerkt 6 augustus 2026