Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings /

Bibliographic Details
Corporate Authors:	International Conference on Integrated Formal Methods Canterbury, England, SpringerLink (Online service), LINK (Online service)
Other Authors:	Boiten, Eerke, 1966-, Derrick, John, 1963-, Smith, Graeme, 1966-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; Hong Kong : Springer-Verlag, [2004]
Series:	Lecture notes in computer science ; 2999.
Subjects:	Formal methods (Computer science) > Congresses. Méthodes formelles (Informatique) > Congrès. COMPUTERS > Reference. COMPUTERS > Machine Theory. COMPUTERS > Computer Literacy. COMPUTERS > Information Technology. COMPUTERS > Data Processing. COMPUTERS > Computer Science. COMPUTERS > Hardware > General. Formal methods (Computer science) Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Available Online