Engineering

Showing 7021–7032 of 8415 results

Default sorting Sort by popularity Sort by average rating Sort by latest Sort by price: low to high Sort by price: high to low

• Order now
  Engineering

  {PDF} Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21?25, 2002 Proceedings Ralph-Johan Back (auth.), Chris George, Huaikou Miao (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 and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings Bernhard Sch?tz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings Anthony Hall (auth.), Kung-Kiu Lau, Richard Banach (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings Zhou Chaochen (auth.), Zhiming Liu, Jifeng He (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, Mar?a M. Larrondo-Petrie (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings Isi Mitrani (auth.), Katinka Wolter (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings Jean-Michel Fourneau, Le?la Kloul (auth.), Andr?s Horv?th, Mikl?s Telek (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers Jan Tretmans (auth.), Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures Nicola Bombieri, Franco Fummi (auth.), Marco Bernardo, Alessandro Cimatti (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers Charles Pecheur (auth.), Stefan Leue, Pedro Merino (eds.)

  Rated 0 out of 5

  $19.99 Order now