Formal Aspects of Component Software

EISBN:9783031521836
PISBN:9783031521829
出版社:Springer Nature
出版时间:2024
作者:Javier Cámara,Sung-Shik Jongmans
主题词:Computer Science
学科:R31 ( R 医药、卫生,R3 基础医学,R31 医用一般科学 )
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Formal Aspects of Component Software

  • 作者:Corina S. Păsăreanu,Gwen Salaün
  • EISBN:9783642358616
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013

Formal Aspects of Component Software

  • 作者:Diego Marmsoler,Meng Sun
  • EISBN:9783031712616
  • 出版社:Springer Nature
  • 出版时间:2024

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

  • 作者:Christiano Braga,Peter Csaba Ölveczky
  • EISBN:9783319289342
  • 出版社:Springer International Publishing
  • 出版时间:2016