Skip to content

Home
About
e-Eooks
Our policies
Contact

Home
About
e-Eooks
Our policies
Contact

Home / Products tagged “Jim Woodcock (eds.)”

Jim Woodcock (eds.)

Showing all 4 results

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.)
Rated 0 out of 5
$19.99 Order now
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.)
Rated 0 out of 5
$19.99 Order now
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.)
Rated 0 out of 5
$19.99 Order now
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.)
Rated 0 out of 5
$19.99 Order now

About

PDFELITE.COM: Your ultimate eBook destination with competitive pricing, diverse selections, and exceptional customer service. Explore our extensive collection and start your literary journey today!

Locate us

1029 NW 28th St Miami
Florida, 33127

UNITED STATES

support@pdfelite.com

Quick links

Privacy policy
Terms of use
Payment and delivery
Contact us
Our store

Copyright © 2009-2024 PDFELITE

Chat with Us

Please provide your details to start chatting:

Please enter a valid email address.