Jim Woodcock

Pays :Grande-Bretagne
Langue :anglais
Sexe :masculin
Note :
Mathématicien et informaticien. - Professeur d'informatique, University of York, GB (en 2014)
Autres formes du nom :J. C. P. Woodcock
James Charles Paul Woodcock
ISNI :ISNI 0000 0001 0944 2399

Ses activités

Éditeur scientifique5 documents

  • FME '93

    industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings

    Description matérielle : XI-689 p.
    Description : Note : Bibliogr. en fin de chapitre
    Édition : Berlin : Springer-Verlag , cop. 1993
    Éditeur scientifique : Peter G. Larsen
    Auteur du texte : Formal methods Europe. International symposium (01 ; 1993 ; Odense, Danemark)

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb39085048g]
  • FME '96, industrial benefit and advances in formal methods

    third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings

    Description matérielle : XII-704 p.
    Description : Note : Bibliogr. en fin de chapitre. Index
    Édition : Berlin : Springer , cop. 1996
    Éditeur scientifique : Marie-Claude Gaudel
    Auteur du texte : Formal methods Europe. International symposium (03 ; 1996 ; Oxford, GB)

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb390848651]
  • Formal methods and hybrid real-time systems

    essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays

    Description matérielle : 1 vol. (XVI-538 p.)
    Description : Note : Pub. à partir des actes d'un symposium tenu à Macao du 24 au 25 septembre 2007. - Notes bibliogr.
    Édition : Berlin : Springer , cop. 2007
    Éditeur scientifique : Cliff B. Jones, Zhiming Liu

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb41151148b]
  • Mathematics of program construction

    second International conference, Oxford, U.K., June 29 - July 3, 1992, proceedings

    Description matérielle : VIII-378 p.
    Description : Note : Bibliogr. à la fin de chaque chap.
    Édition : Berlin ; New York : Springer , cop. 1993
    Éditeur scientifique : Richard Simpson Bird, Charles Carroll Morgan
    Auteur du texte : International conference on the mathematics of program construction (02 ; 1992 ; Oxford, GB)

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37462066p]
  • Verified software

    theories, tools, experiments, second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, proceedings

    Description matérielle : 1 online resource
    Description : Note : Notes bibliogr. Index
    Édition : Berlin, Heidelberg : Springer Berlin Heidelberg : Springer e-books , 2008

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb44697069k]

Autre1 document

  • Formal Methods and Hybrid Real-Time Systems

    Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

    Description matérielle : 1 online resource (Online-Ressource.)
    Description : Note : In: Springer-Online
    Édition : Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2007
    Autre : Cliff B. Jones, Zhiming Liu

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb446958381]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

Autres formes du nom

  • J. C. P. Woodcock
  • James Charles Paul Woodcock

Pages équivalentes