Skip to content
DIGZON.com
  • Home
  • Shop
  • Our software
    • Privacy Policy
    • Terms of Service
    • Payment & Delivery
  • About
  • Contact
DIGZON
Home / Products tagged “Jim Woodcock (eds.)”

Jim Woodcock (eds.)

Showing all 4 results

  • [PDF] Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.) Order now
    Engineering

    [PDF] Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

    $19.99 Order now
  • {PDF} Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.) Order now
    Engineering

    {PDF} Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.)

    $19.99 Order now
  • {PDF} Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers Nicolas Blanc, Daniel Kroening (auth.), Marcel Vin?cius Medeiros Oliveira, Jim Woodcock (eds.) Order now
    Engineering

    {PDF} Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers Nicolas Blanc, Daniel Kroening (auth.), Marcel Vin?cius Medeiros Oliveira, Jim Woodcock (eds.)

    $19.99 Order now
  • {PDF} Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.) Order now
    Engineering

    {PDF} Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)

    $19.99 Order now
Back to top

Shop & Categories

  • Shop All eBooks
  • Amazon eBooks (PDF)
  • eBay eBooks (PDF)
  • Bing eBooks (PDF)
  • Google eBooks

Policies

  • Privacy Policy
  • Terms of Service
  • Payment & Delivery

Company

  • About DIGZON
  • Contact
DIGZON.com
© 2019–2026 DIGZON.COM — Best Online PDF eBook Store in the USA. All rights reserved.
WhatsApp Support

Hi 👋 How can we help you?