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

Formal Aspects of Component Software
EISBN：9783031712616
PISBN：9783031712609
出版社：Springer Nature
出版时间：2024
作者：Diego Marmsoler,Meng Sun
主题词：BISAC Category: Computers,Computer Science,Computers,Speech & Audio Processing,Computers,Database Administration & Management,Computers,Information Theory,Computers,Software Development & Engineering,General,Computers,Computer Architecture,Computers,Hardware,General
学科：TP311 ( T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术,TP31 计算机软件,TP311 程序设计、软件工程 )
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Aspects of Component Software
  • 作者：Javier Cámara,Sung-Shik Jongmans
  • EISBN：9783031521836
  • 出版社：Springer Nature
  • 出版时间：2024
...

Formal Aspects of Component Software
  • 作者：Corina S. Păsăreanu,Gwen Salaün
  • EISBN：9783642358616
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2013
...

Formal Aspects of Component Software
  • 作者：Kyungmin Bae,Peter Csaba Ölveczky
  • EISBN：9783030021467
  • 出版社：Springer International Publishing
  • 出版时间：2018
...

Formal Aspects of Component Software
  • 作者：José Luiz Fiadeiro,Zhiming Liu,Jinyun Xue
  • EISBN：9783319076027
  • 出版社：Springer International Publishing
  • 出版时间：2014
...

Formal Aspects of Component Software
  • 作者：José Proença,Markus Lumpe
  • EISBN：9783319680347
  • 出版社：Springer International Publishing
  • 出版时间：2017
...

Formal Aspects of Component Software
  • 作者：Farhad Arbab,Peter Csaba Ölveczky
  • EISBN：9783642357435
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2012