FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Jayadev Misra, Tobias Nipkow, Emil Sekerinski (edición)
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Almmustuhtton: Berlín, Alemania : Springer, 2006, c2006
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!
Govvádus
Olgguldas hápmi:1 libro electrónico en línea (XV, 620 p.)
1 recurso en línea
ISBN:978-3-540-37216-5
ISSN:1611-3349
Beassan:Licencias ilimitadas