Catalogus
A statically verifiable programming model for concurrent object-oriented programs
Bas Jacobs

A statically verifiable programming model for concurrent object-oriented programs

Hardback128 pagina’sNederlands
In het kort
CB-relatie 8109288 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
A statically verifiable programming model for concurrent object-oriented programs
Bas Jacobs

A statically verifiable programming model for concurrent object-oriented programs

Hardback128 pagina’sNederlands
In het kort
CB-relatie 8109288 · Bijgewerkt 6 augustus 2026