Formal methods and software engineering
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
International Conference on Formal Engineering Methods 2005 : Manchester, England)
creator
Lau, Kung-Kiu
Banach, Richard
text
Berlin
Springer
2005
monographic
eng
496 p. : ill. ; 24 cm
adult
edited by Kung-Kiu Lau, Richard Banach
Formal methods (Computer science)
Congresses
Software engineering
Congresses
Lecture notes in computer science
3540297979
UMP
060821
20251117144147.0
vtls000015373