Coalgebraic Methods in Computer Science

EISBN:9783642327841
PISBN:9783642327834
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2012
作者:Dirk Pattinson,Lutz Schröder
主题词:Mathematical Logic and Formal Languages,Computation by Abstract Devices,Logics and Meanings of Programs,Probability and Statistics in Computer Science
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Coalgebraic Methods in Computer Science

  • 作者:Corina Cîrstea
  • EISBN:9783030003890
  • 出版社:Springer International Publishing
  • 出版时间:2018

Coalgebraic Methods in Computer Science

  • 作者:Helle Hvid Hansen;Fabio Zanasi
  • EISBN:9783031107368
  • 出版社:Springer Nature
  • 出版时间:2022

Coalgebraic Methods in Computer Science

  • 作者:Marcello M. Bonsangue
  • EISBN:9783662441244
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2014

Coalgebraic Methods in Computer Science

  • 作者:Barbara König,Henning Urbat
  • EISBN:9783031664380
  • 出版社:Springer Nature
  • 出版时间:2024

Coalgebraic Methods in Computer Science

  • 作者:Daniela Petrişan,Jurriaan Rot
  • EISBN:9783030572013
  • 出版社:Springer International Publishing
  • 出版时间:2020

Coalgebraic Methods in Computer Science

  • 作者:Ichiro Hasuo
  • EISBN:9783319403700
  • 出版社:Springer International Publishing
  • 出版时间:2016