Theoretical Aspects of Computing – ICTAC 2016

EISBN:9783319467504
PISBN:9783319467498
出版社:Springer International Publishing
出版类型:Proceedings
出版时间:2016
版次:1st ed. 2016
作者:Augusto Sampaio,Farn Wang
主题词:Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Discrete Mathematics in Computer Science,Software Engineering,Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Theoretical Aspects of Computing - ICTAC 2004

  • 作者:Zhiming Liu,Keijiro Araki
  • EISBN:9783540318620
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005

Theoretical Aspects of Computing – ICTAC 2017

  • 作者:Dang Van Hung,Deepak Kapur
  • EISBN:9783319677293
  • 出版社:Springer International Publishing
  • 出版时间:2017

Theoretical Aspects of Computing – ICTAC 2019

  • 作者:Robert Mark Hierons,Mohamed Mosbah
  • EISBN:9783030325053
  • 出版社:Springer International Publishing
  • 出版时间:2019

Theoretical Aspects of Computing – ICTAC 2013

  • 作者:Zhiming Liu,Jim Woodcock,Huibiao Zhu
  • EISBN:9783642397189
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013

Theoretical Aspects of Computing - ICTAC 2008

  • 作者:John S. Fitzgerald,Anne E. Haxthausen,Husnu Yenigun
  • EISBN:9783540857624
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Theoretical Aspects of Computing – ICTAC 2005

  • 作者:Dang Hung,Martin Wirsing
  • EISBN:9783540320722
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005