Don't forget to bookmark this web site !!
Used & Out of Print Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

  In Print Books   Out of Print Books   Magazine   Music   Movie   Credit Card   Help  
  |  Home |  FAQ/About us |  Link to us |  Recommend us |  Contact us |  Bookstores |  Browse |  Memo |  

 

Werner Damm
 
1. Computer Aided Verification: 19th International Confernece, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
ISBN: 3540733671 - Paperback - List Price: $99.00
Publisher: Springer-Verlag New York Inc - Published Date: 08/03/2007 - Paperback
Editor: Holger Hermanns
Editor: Werner Damm

2. Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 2002 Proceedings
ISBN: 3540441654 - Paperback - List Price: $82.95
Publisher: Springer Verlag - Published Date: 09/01/2002 - Paperback
Editor: Werner Damm
Editor: E.-R Olderog

3. Integration Of Software Specification Techniques For Applications In Engineering: Third International Workshop, Int 2004, Barcelona, Spain, March 28, 2004, Revised Selected Papers
ISBN: 3540231358 - Paperback - List Price: $100.00
Publisher: Springer-Verlag New York Inc - Published Date: 11/15/2004 - Paperback
Editor: Martin Gro e-Rhode
Editor: Werner Damm
Editor: Hartmut Ehrig
Editor: Wolfgang Reif
Editor: Jorg Desel

Shipping Destination:
State:
(US only)
Display in:
Search by:
Searching for Out of Print Books? [Click Here]

 

 

Copyright 1995-2000 Muze Inc. For personal use only. All rights reserved.