Tools and algorithms for the constru...
(1998 :)

 

  • Tools and algorithms for the construction and analysis of systems17th International Conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Tools and algorithms for the construction and analysis of systemsedited by Parosh Aziz Abdulla, K. Rustan M. Leino.
    其他題名: 17th International Conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
    其他作者: Abdulla, Parosh Aziz.
    團體作者:
    出版者: Berlin, Heidelberg :Springer Berlin Heidelberg,2011.
    面頁冊數: xvi, 394 p. :ill., digital ;24 cm.
    叢書名: Lecture notes in computer science,
    Contained By: Springer eBooks
    標題: System designCongresses.
    電子資源: http://dx.doi.org/10.1007/978-3-642-19835-9
    ISBN: 9783642198359 (electronic bk.)
館藏
  • 1 筆 • 頁數 1 •
 
000000055053 電子館藏 1圖書 電子書 EB QA76.9.S88 T33 2011 一般使用(Normal) 在架 0  
  • 1 筆 • 頁數 1 •
評論
Export
取書館別
 
 
變更密碼
登入