Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Jim Davies, Jeremy Gibbons (edición)
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Almmustuhtton: Berlín, Alemania : Springer, 2007, c2007
Ráidu:(Lecture Notes in Computer Science)
Liŋkkat:Ver documento en línea
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Lasit vuosttaš kommeantta. Visot kommeanttat leat almmolaččat.!
Čálihuva vuohččan sisa