Foundations of Software Science and Computation Structures

EISBN:9783540459316
PISBN:9783540433668
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2002
作者:Mogens Nielsen,Uffe Engberg
主题词:Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages,Compilers,Interpreters,Software Engineering
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Foundations of Software Science and Computation Structures

  • 作者:Orna Kupferman,Pawel Sobocinski
  • EISBN:9783031308291
  • 出版社:Springer Nature
  • 出版时间:2023

Foundations of Software Science and Computation Structures

  • 作者:Naoki Kobayashi,James Worrell
  • EISBN:9783031572319
  • 出版社:Springer Nature
  • 出版时间:2024

Foundations of Software Science and Computation Structures

  • 作者:Furio Honsell,Marino Miculan
  • EISBN:9783540453154
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Foundations of Software Science and Computation Structures

  • 作者:Luca Aceto,Anna Ingólfsdóttir
  • EISBN:9783540330462
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Foundations of Software Science and Computation Structures

  • 作者:Wolfgang Thomas
  • EISBN:9783540490197
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999

Foundations of Software Science and Computation Structures

  • 作者:Maurice Nivat
  • EISBN:9783540697206
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1998