Choice quantification in process algebra
B. Luttik
Choice quantification in process algebra
In het kort
ISBN-13
9789090156248
Uitgever
Bibliografisch
ISBN-139789090156248
SerieIPA dissertation series — deel 2002-04
Editie1
TaalEngels eng
Pagina’s160
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Informatica algemeen 980
NUR (alle)980 Informatica algemeen
Medewerkers
Auteur A01B. Luttik
Herkomst
Werk-id (NSTC)501094828
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
Mastering Microsoft Flight Simulator 2024
Claude AI – Vom Anfänger zum Power-User: Das große 9-in-1-Praxis-Handbuch
Versleuteling zonder wiskunde
Backups You Can Actually Restore
Unicode: ruimte voor elke letter
Een app bouwen zonder te programmeren
NSTC 501094828 · CB-relatie 9123023 · Bijgewerkt 6 augustus 2026