The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Barnes and Noble

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

From Barnes and Noble
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
Barnes and Noble

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings

From Barnes and Noble
Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Barnes and Noble

Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

From Barnes and Noble
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science: 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings
Barnes and Noble

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science: 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings

From Barnes and Noble
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / Edition 1
Barnes and Noble

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / Edition 1

From Barnes and Noble
Fault-Tolerant Systems / Edition 2
Barnes and Noble

Fault-Tolerant Systems / Edition 2

From Barnes and Noble
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / Edition 1
Barnes and Noble

Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / Edition 1

From Barnes and Noble
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99 / Edition 1
Barnes and Noble

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99 / Edition 1

From Barnes and Noble
Trust Management VI: 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012, Proceedings
Barnes and Noble

Trust Management VI: 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012, Proceedings

From Barnes and Noble
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99
Barnes and Noble

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99

From Barnes and Noble
Formal Techniques for Networked and Distributed Systems: FORTE 2001
Barnes and Noble

Formal Techniques for Networked and Distributed Systems: FORTE 2001

From Barnes and Noble
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
Barnes and Noble

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

From Barnes and Noble
Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999 Proceedings
Barnes and Noble

Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999 Proceedings

From Barnes and Noble
Trust Management IV: 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010, Proceedings / Edition 1
Barnes and Noble

Trust Management IV: 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010, Proceedings / Edition 1

From Barnes and Noble
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Barnes and Noble

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

From Barnes and Noble
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
Barnes and Noble

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

From Barnes and Noble
Powered by Adeptmind