Title Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29-December 2, 2005 : proceedings / Judi Romijn, Graeme P. Smith, Jaco van de Pol (eds.)

Published Berlin ; New York : Springer, [2005] ©2005

Copies

Description xi, 405 pages : illustrations ; 24 cm Series Lecture notes in computer science, 0302-9743 ; 3771 Lecture notes in computer science. 0302-9743 ; 3771 Bibliography Includes bibliographical references and index Notes Also available online Subject Formal methods (Computer science) -- Congresses. Genre/Form Conference papers and proceedings. Author Romijn, Judi. Pol, Jaco van de. Smith, Graeme, 1966- LC no. 2005935883 ISBN 3540304924

Other Titles IMF 2005

  Permalink