Pocketbok
Vis utilgjengelige utgivelser

Releases med Jim Davies

28. oktober 2004 – 23. mars 2011

Cover for Jim Davies · Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering (Pocketbok) (2011)

Formal Methods: Foundations and ... (2011)

Cover for Jim Davies · Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering (Pocketbok) [2007 edition] (2007)

Integrated Formal Methods: 6th I... (2007)

Cover for Jim Davies · Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2004 edition] (2004)

Formal Methods and Software Engi... (2004)