Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cypru - detaljert visning

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers

ISoLA 2004
Bok Engelsk 2006


Utgitt	Berlin : Springer , c2006
Omfang	VIII, 196 s. : ill.
Emner	Datateknikk Teoretisk databehandling
ISBN	3540489282. - 9783540489283