Tools-and-Algorithms-for-the-Construction-and-Analysis-of-Systems-6th-International-Conference-TACAS-2000-Held-as-Part-of-the-Joint-European-Notes-in-Computer-Science-Band-1785 112,34 EUR*

Details

  • Kategorie: Diverse Bücher
  • Preis: 112,34 EUR*
  • Lieferzeit: Versandfertig in 4 - 5 Werktagen
  • Marke: Springer Berlin Heidelberg
  • EAN: 9783540672821
  • Händler: Amazon.de
    Amazon.de
Zum Angebot This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 33 revised full ...