VIAF

Virtual International Authority File

Search

Woodcock, Jim. National Library of Australia Wikipedia (en)-test NUKAT Center of Warsaw University Library National Library of Catalonia Library of Congress/NACO

Woodcock, Jim, 1956-.... Sudoc [ABES], France National Library of the Czech Republic National Library of France ISNI-test

Woodcock, James C.P. National Library of the Netherlands-test German National Library

VIAF ID: 145747617 (Personal)

Permalink: http://viaf.org/viaf/145747617

ISNI-test: 0000  0001  0944  2399 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (17)

Open Section Close Section Selected Titles

  1. FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings ‎(6) NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France National Library of France Library of Congress/NACO
  2. Software engineering mathematics, 1989: ‎(3) NUKAT Center of Warsaw University Library Library of Congress/NACO
  3. Mathematics of program construction second International conference, Oxford, U.K., June 29 - July 3, 1992, proceedings ‎(3) NUKAT Center of Warsaw University Library National Library of France Library of Congress/NACO
  4. Using Z : specification, refinement, and proof ‎(2) NUKAT Center of Warsaw University Library Wikipedia (en)-test
  5. Mathematics of program construction, c1993: ‎(2) NUKAT Center of Warsaw University Library Library of Congress/NACO
  6. Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays ‎(2) National Library of France Library of Congress/NACO
  7. [http://www.amazon.com/software-engineering-mathematics-demystified-ebook/dp/b000uywkya software engineering mathematics: formal methods demystified] ‎(1) Wikipedia (en)-test
  8. Verified software : theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings ‎(1) Library of Congress/NACO
  9. VSTTE 2008 ‎(1) Library of Congress/NACO
  10. Using Z ‎(1) NUKAT Center of Warsaw University Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (4)

Open Section Close Section About

Open Section Close Section History of VIAF ID:145747617 (47)