Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, Nove - detaljert visning

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29-December 2, 2005 : proceedings

IFM 2005
Bok Engelsk 2005


Utgitt	Berlin : Springer , c2005
Omfang	XI, 405 s. : ill.
Emner	Formell spesifikasjon (Programutvikling)
ISBN	3540304924. - 9783540304920