Davies, Jim Signaler une erreur
083678972
Notice de type Personne

Forme retenue

Davies, Jim

Information

Langue d'expression : anglais

Source

Formal methods and software engineering : 6th international conference on formal engineering methods, ICFEM 2004, Seattle, WA, USA, november 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (Eds.) : Springer, 2004

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Notices bibliographiques liées :4rôle(s)

000 Code de fonction non reconnu ( 1 )
070 Auteur ( 3 )
340 Editeur scientifique ( 3 )
990 Fonction non précisée ( 2 )



Code de fonction non reconnu :

Rôles ?



02482349X : Using Z [Texte imprimé] : specification, refinement, and proof / Jim Woodcock, Jim Davies / Hemel Hempstead, Hertfordshire : Prentice Hall , cop. 1996



Auteur :

Rôles ?



099302551 : Specification and proof in real-time CSP [Texte imprimé] / Jim Davies,... / Cambridge : Cambridge university press , 1993

099474050 : GNU scientific library : reference manual / Fabrice Rossi, Michael Booth, Gerard Jungman, Brian Gough, James Theiler, Jim Davies, Mark Galassi / Bristol, GB : Network Theory Limited , 2001

155208667 : Formal Methods and Software Engineering [Ressource électronique] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings / edited by Jim Davies, Wolfram Schulte, Mike Barnett. / Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2004



Editeur scientifique :

Rôles ?



083679367 : Formal methods and software engineering [Texte imprimé] : 6th international conference on formal engineering methods, ICFEM 2004, Seattle, WA, USA, november 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (Eds.) / Berlin : Springer , cop. 2004

115942327 : Integrated formal methods [Texte imprimé] : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (Eds.) / Berlin : Springer , cop. 2007

151921555 : Formal methods: foundations and applications [Texte imprimé] : 13th brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / Jim Davies, Leila Silva, Adenilso Simao (eds.) / Berlin : Springer , cop. 2011



Fonction non précisée :

Rôles ?



155214667 : FM’99 — Formal Methods [Ressource électronique] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies. / Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 1999

155199269 : FM’99 — Formal Methods [Ressource électronique] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies. / Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 1999


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance