Вы здесь

Главная

Woodcock J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Correct Hardware Synthesis. An algebraic approach 2011 Perna J., Woodcock J., Sampaio A., Iyoda J. Acta Informatica 11.01.2012
СТ Preface: A Step Towards Verified Software 2008 Meyer B., Woodcock J. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.10.2008
СТ Travelling Processes 2004 Tang X., Woodcock J. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004
СТ A Tutorial Introduction to Designs in Unifying Theories of Programming 2004 Woodcock J., Cavalcanti A. Lecture Notes in Computer Science 21.05.2004
СТ Unifying Theories of Parallel Programming 2002 Woodcock J., Hughes A. Lecture Notes in Computer Science 20.11.2002
П Notes on Unifying Theories of Parallel Programming 2002 Woodcock J., Hughes A. Techn.Univ.Munchen 24.08.2002
СТ The Semantics of Circus 2002 Woodcock J., Cavalcanti A. Lecture Notes in Computer Science 02.03.2002
СТ Supporting Rigorous Reviews of Formal Specifications Using Fault Trees 2000 Liu S., Woodcock J. 16th World Computer Congress 2000 06.03.2001
СТ On the Refinement and Simulation of Data Types and Processes 1900 Bolton Ch., Davies J., Woodcock J. IFM 99 31.01.2001
М Step Up to Networking 1999 Woodcock J. 22.01.2000
М Understanding Groupware in the Enterprise 1997 Woodcock J. 20.01.2000

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Dependable Software Engineering: Theories, Tools, and Applications: Proc./7th International Symposium, SETTA 2021, Beijing, China? November 2021 2021 Lecture Notes in Computer Science
  1. Qin Sh.
  2. Woodcock J.
  3. Zhang W.
 10.12.2021
СБ Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 Lecture Notes in Computer Science
  1. Liu Z.
  2. Woodcock J.
  3. Zhu H.
 07.10.2013
СБ Unifying Theories of Programming and Formal Engineering Methods: Advanced Lectures/ International Training School on Software Engineering Held as ICTAC 2013, Shanghai, China, August 2013 2013 Lecture Notes in Computer Science
  1. Liu Z.
  2. Woodcock J.
  3. Zhu H.
 26.08.2013
СБ Theoretical Aspects of Computing - ICTAC 2013: Proc./10th International Colloquium, Shanghai, China, September 2013 2013 Lecture Notes in Computer Science
  1. Liu Z.
  2. Woodcock J.
  3. Zhu H.
 26.08.2013
СБ Theoretical Aspects of Computing - ICTAC 2010: Proc./7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 2010 2010 Lecture Notes in Computer Science
  1. Cavalcanti A.
  2. Deharbe D.
  3. Gaudel M. -C.
  4. Woodcock J.
 13.10.2010
СБ Testing Techniques in Softwarw Engineering: Revised Lectures/Second Pernambuco Summer School on SE, PSSE 2007, Recife, Brazil, December 2007 2010 Lecture Notes in Computer Science
  1. Borba P.
  2. Cavalcanti A.
  3. Sampaio A.
  4. Woodcock J.
 21.09.2010
СБ Formal Methods: Foundations and Applicationas: Revised Selected Papers/12th Brazilian Symposium, SBMF 2009, Gramado Brazil, August 2009 2009 Lecture Notes in Computer Science
  1. Oliveira M.V. M.
  2. Woodcock J.
 24.03.2010
СБ Verified Software: Theories, Tools, Experiments: Proc./Second International Conference, VSTTE 2008. Toronto, Canada, October 2008 2008 Lecture Notes in Computer Science
  1. Shankar N.
  2. Woodcock J.
 09.12.2008
СБ Verified Software: Theories, Tools, Experiments: Revised Selected Papers and Discussions/1st IFIP TC 2/WG 2.3 Conference, VSTTE 2005. Zurich, Switzerland, October 2005 2008 Lecture Notes in Computer Science
  1. Meyer B.
  2. Woodcock J.
 03.10.2008
СБ Theoretical Aspects of Computing - ICTAC 2007: Proc./4th International Colloquium. Macao, China, September 2007 2007 Lecture Notes in Computer Science
  1. Jones C. B.
  2. Liu Zh.
  3. Woodcock J.
 13.02.2008
СБ Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays 2007 Lecture Notes in Computer Science
  1. Jones C. B.
  2. Liu Zh.
  3. Woodcock J.
 07.01.2008
СБ Domain Modeling and The Duration Calculus: Advanced Lectures/International Training School. Shanghai, China, September 2007 2007 Lecture Notes in Computer Science
  1. George Ch. W.
  2. Liu Zh.
  3. Woodcock J.
 20.11.2007
СБ Refinement Techniques in Software Engineering: Revised Lectures/1st Pernambuco Summer School on Software Engineering, PSSE 2004. Recife, Brazil, November/December 2004 2006 Lecture Notes in Computer Science
  1. Cavalcanti A.
  2. Sampaio A.
  3. Woodcock J.
 11.01.2007
СБ Formal Methods and Software Engineering: Proc./5th Intern. Conf. on Formal Engineering Methods, ICFEM 2003, Singapore, November 2003 2003 Lecture Notes in Computer Science
  1. Dong J. S.
  2. Woodcock J.
 30.12.2003
СБ FM 99 - Formal Methods: Proc./World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France, September 1999. Vol.I 1999 Lecture Notes in Computer Science
  1. Wing J. M.
  2. Woodcock J.
  3. Davies J.
 30.10.1999
СБ FM 99 - Formal Methods: Proc./World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France, September 1999. Vol.II 1999 Lecture Notes in Computer Science
  1. Wing J. M.
  2. Woodcock J.
  3. Davies J.
 22.10.1999