| Type |  Book |
| ชื่อเรื่อง | FME 2002 : formal methods-getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.) |
| ผู้แต่ง | International Symposium of Formal Methods Europe (11th : 2002 : Copenhagen, Denmark) |
| ISBN | 3540439285 |
| พิมพลักษณ์ | Berlin : Springer, c2002 |
| รูปเล่ม | xi, 624 p. : ill. ; 24 cm |
| หัวเรื่อง | Computer software --Development --Congresses [] |
| | Formal methods (Computer science) --Congresses [] |
| | System design --Mathematics --Congresses [] |