Oppikirjat ja opiskelu Formal design and verification of systems using domain-specific languages Pontus BoströmKirjailija KieliEnglanti Julkaisuvuosi2008 MuotoNidottu (pehmeäkantinen) Oppikirjat ja opiskeluTUCS Dissertations no 110
KustantajaTurku Centre for Computer Science Julkaisuvuosi2008 MuotoPainettu kirja Koko25 cm SarjaTUCS dissertations no 110 ISBN97895212218669521221860 LähdeFennica