Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Jin Song Dong, Jim Woodcock (edición)
Aineistotyyppi: Kirja
Kieli:englanti
Julkaistu: Berlín, Alemania : Springer, 2003, c2003
Sarja:(Lecture Notes in Computer Science)
Linkit:Ver documento en línea
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Kuvaus
Ulkoasu:1 libro electrónico en línea (XI, 682 p.)
1 recurso en línea
ISBN:978-3-540-39893-6
ISSN:1611-3349
Pääsy:Licencias ilimitadas