Algebra and Coalgebra in Computer Science

EISBN:9783642229442
PISBN:9783642229435
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2011
作者:Andrea Corradini,Bartek Klin,Corina Cîrstea
主题词:Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Discrete Mathematics in Computer Science,Symbolic and Algebraic Manipulation,Models and Principles,Computation by Abstract Devices
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Algebra and Coalgebra in Computer Science

  • 作者:Till Mossakowski,Ugo Montanari,Magne Haveraaen
  • EISBN:9783540738596
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007

Algebra and Coalgebra in Computer Science

  • 作者:José Luiz Fiadeiro,Neil Harman,Markus Roggenbach,Jan Rutten
  • EISBN:9783540318767
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005

Algebra and Coalgebra in Computer Science

  • 作者:Reiko Heckel,Stefan Milius
  • EISBN:9783642402067
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013

Algebra and Coalgebra in Computer Science

  • 作者:Alexander Kurz,Marina Lenisa,Andrzej Tarlecki
  • EISBN:9783642037412
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Algebra for Computer Science

  • 作者:Lars Gårding,Torbjörn Tambour
  • EISBN:9781461387978
  • 出版社:Springer US
  • 出版时间:1988

Algebra for Computer Science

  • 作者:Lars Garding,Torbjörn Tambour
  • EISBN:9781461387978
  • 出版社:Springer New York
  • 出版时间:1988