登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Structured Object-Oriented Formal Language and Method
EISBN：9783031294761
PISBN：9783031294754
出版社：Springer Nature
出版时间：2023
作者：Shaoying Liu,Zhenhua Duan,Ai Liu
主题词：Formal methods,Model Checking,Formal Logic,Architecting,Software tools,architecting,architecture verification and validation,artificial intelligence,verification,software quality,software engineering,software design,software architecture,signal processing,model checking,mathematics,linguistics,formal logic,engineering,embedded systems
学科：Computer Science
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Structured Object-Oriented Formal Language and Method
  • 作者：Cong Tian,Fumiko Nagoya,Shaoying Liu,Zhenhua Duan
  • EISBN：9783319901046
  • 出版社：Springer International Publishing
  • 出版时间：2018
...

Structured Object-Oriented Formal Language and Method
  • 作者：Shaoying Liu,Zhenhua Duan
  • EISBN：9783319174044
  • 出版社：Springer International Publishing
  • 出版时间：2015
...

Structured Object-Oriented Formal Language and Method
  • 作者：Shaoying Liu,Zhenhua Duan
  • EISBN：9783319049151
  • 出版社：Springer International Publishing
  • 出版时间：2014
...

Structured Object-Oriented Formal Language and Method
  • 作者：Huaikou Miao,Cong Tian,Shaoying Liu,Zhenhua Duan
  • EISBN：9783030414184
  • 出版社：Springer International Publishing
  • 出版时间：2020
...

Structured Object-Oriented Formal Language and Method
  • 作者：Zhenhua Duan,Shaoying Liu,Cong Tian,Fumiko Nagoya
  • EISBN：9783030136512
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Structured Object-Oriented Formal Language and Method
  • 作者：Shaoying Liu,Zhenhua Duan
  • EISBN：9783319312200
  • 出版社：Springer International Publishing
  • 出版时间：2016