Tools and Algorithms for the Construction and Analysis of Systems. 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Name: Tools and Algorithms for the Construction and Analysis of Systems. 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Author: HUBERT GARAVEL
ISBN: 978B00H80L3R5

Author HUBERT GARAVEL

Publisher Springer

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

⌛ 🇮🇳 India pricing being fetched… Prices will appear once fetched — usually within a few minutes.

View in: 🇺🇸 USA

Book Details

Author(s)HUBERT GARAVEL

PublisherSpringer

ISBN / ASINB00H80L3R4

ISBN-13978B00H80L3R5

MarketplaceIndia 🇮🇳