Concrete Semantics

EISBN:9783319105420
PISBN:9783319105413
出版社:Springer International Publishing
出版类型:Graduate/advanced undergraduate textbook
出版时间:2014
作者:Tobias Nipkow,Gerwin Klein
主题词:Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Concrete

  • 作者:Mehta,P. Kumar;Monteiro,Paulo J. M.
  • EISBN:9780071589192
  • 出版社:McGraw-Hill Professional Publishing
  • 出版时间:2005-10-17

Semantics

  • 作者:András Kornai
  • EISBN:9783319656458
  • 出版社:Springer International Publishing
  • 出版时间:2020

GeoSpatial Semantics

  • 作者:M. Andrea Rodríguez,Isabel Cruz,Sergei Levashkin,Max J. Egenhofer
  • EISBN:9783540322832
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005

The Semantics of Relationships

  • 作者:R. Green,C.A. Bean,Sung Hyon Myaeng
  • EISBN:9789401700733
  • 出版社:Springer Netherlands
  • 出版时间:2002

Neuromimetic Semantics

  • 作者:Harry Howard
  • PISBN:9780444502087
  • 出版时间:Pre 2007

GeoSpatial Semantics

  • 作者:Christophe Claramunt,Sergei Levashkin,Michela Bertolotto
  • EISBN:9783642206306
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011