Darren Cofer – författare
Visar alla böcker från författaren Darren Cofer. Handla med fri frakt och snabb leverans.
2 produkter
Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Av Darren Cofer, Alessandro Fantechi
Häftad, 2009
564 kr
Lägg i varukorg
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and …
Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L''Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Av Alessandro Fantechi, Darren Cofer
E-bok, 2009
739 kr
Lägg i varukorg
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and …
