FM'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Jeannette M. Wing, Jim Woodcock, Jim Davies (edición)
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Almmustuhtton: Berlín, Alemania : Springer, 1999, c1999
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