Fundamentals of Algebraic Specification 2

EISBN:9783642612848
PISBN:9783642647765
出版社:Springer Berlin Heidelberg
出版类型:Undergraduate textbook
出版时间:1990
作者:Hartmut Ehrig,Bernd Mahr
主题词:Logics and Meanings of Programs,Software Engineering,Programming Languages,Compilers,Interpreters,Algebra
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Fundamentals of Algebraic Specification 2

  • 作者:Hartmut Ehrig,Bernd Mahr
  • EISBN:9783642612848
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1990

Fundamentals of Algebraic Specification 1

  • 作者:Hartmut Ehrig,Bernd Mahr
  • EISBN:9783642699627
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

Fundamentals of Algebraic Specification 1

  • 作者:Hartmut Ehrig,Bernd Mahr
  • EISBN:9783642699627
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

Semantics and Algebraic Specification

  • 作者:Jens Palsberg
  • EISBN:9783642041648
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Algebraic System Specification and Development

  • 作者:Michel Bidoit,Hans-Jörg Kreowski,Pierre Lescanne,Fernando Orejas,Donald Sannella
  • EISBN:9783540473824
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991

Algebraic Foundations of Systems Specification

  • 作者:Egidio Astesiano,Hans-Jörg Kreowski,Bernd Krieg-Brückner
  • EISBN:9783642598517
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999