Rewriting Logic and Its Applications

EISBN:9783031124419
PISBN:9783031124402
出版社:Springer Nature
出版时间:2022
作者:Kyungmin Bae
主题词:Computer Science
学科:T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术,TP30 一般性问题,TP302 设计与性能分析,TP302.2 逻辑设计
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Rewriting Logic and Its Applications

  • 作者:Santiago Escobar,Narciso Martí-Oliet
  • EISBN:9783030635954
  • 出版社:Springer International Publishing
  • 出版时间:2020

Rewriting Logic and Its Applications

  • 作者:Peter Csaba Ölveczky
  • EISBN:9783642163104
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2010

Rewriting Logic and Its Applications

  • 作者:Kazuhiro Ogata,Narciso Martí-Oliet
  • EISBN:9783031659416
  • 出版社:Springer Nature
  • 出版时间:2024

Rewriting Logic and Its Applications

  • 作者:Franciso Durán
  • EISBN:9783642340055
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2012

Rewriting Logic and Its Applications

  • 作者:Vlad Rusu
  • EISBN:9783319998404
  • 出版社:Springer International Publishing
  • 出版时间:2018

Rewriting Logic and Its Applications

  • 作者:Dorel Lucanu
  • EISBN:9783319448022
  • 出版社:Springer International Publishing
  • 出版时间:2016