Mijn boeken
← Catalogus
Modal action logics for reasoning about reactive systems
J. Broersen

Modal action logics for reasoning about reactive systems

J. Broersen
Paperback264 pagina’sNederlandsDeel 2003-2 →
In het kort
ISBN-13
9789090166117
Uitgever
Broersen, J.
NUR
980 · Informatica algemeen
Serie
SIKS dissertation series · 2003-2

Lijkt op dit boek

Omslag van Dit is voor iedereen
Dit is voor iedereen
Omslag van The Killer Isn’t Alice
The Killer Isn’t Alice
Omslag van The Killer Isn’t June
The Killer Isn’t June
Omslag van The Killer Isn’t the Bride
The Killer Isn’t the Bride
Omslag van The ELM AI Data Modelling Framework
The ELM AI Data Modelling Framework
Omslag van The ELM AI Data Modelling Framework
The ELM AI Data Modelling Framework
Omslag van The ELM AI Data Modelling Framework - B&W edition
The ELM AI Data Modelling Framework - B&W edition
Omslag van The Killer Isn't Alice
The Killer Isn't Alice
Omslag van The Killer Isn't June
The Killer Isn't June
Omslag van The Killer Isn't June
The Killer Isn't June
NSTC 501272216 · CB-relatie 9432190 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Modal action logics for reasoning about reactive systems
J. Broersen

Modal action logics for reasoning about reactive systems

J. Broersen
Paperback264 pagina’sNederlandsDeel 2003-2 van SIKS dissertation series →
Bestel bij bol →
In het kort
ISBN-13
9789090166117
Uitgever
Broersen, J.
NUR
980 · Informatica algemeen
Serie
SIKS dissertation series · 2003-2

Lijkt op dit boek

Alles bekijken →
Omslag van Dit is voor iedereen
Dit is voor iedereen
Tim Berners-Lee
Omslag van The Killer Isn’t Alice
The Killer Isn’t Alice
Charlotte Brooklyn
Omslag van The Killer Isn’t June
The Killer Isn’t June
Charlotte Brooklyn
Omslag van The Killer Isn’t the Bride
The Killer Isn’t the Bride
Charlotte Brooklyn
Omslag van The ELM AI Data Modelling Framework
The ELM AI Data Modelling Framework
Remco Broekmans
Omslag van The ELM AI Data Modelling Framework
The ELM AI Data Modelling Framework
Remco Broekmans
NSTC 501272216 · CB-relatie 9432190 · Bijgewerkt 6 augustus 2026