Formal Techniques for Distributed Objects, Components, and Systems

EISBN:9783031086793
PISBN:9783031086786
出版社:Springer Nature
出版时间:2022
作者:Mohammad Reza Mousavi;Anna Philippou
主题词:Computer Science
学科:T 工业技术,TP 自动化技术、计算机技术,TP2 自动化技术及设备,TP27 自动化系统,TP274 数据处理、数据处理系统
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Formal Techniques for Distributed Objects, Components, and Systems

  • 作者:Valentina Castiglioni,Adrian Francalanza
  • EISBN:9783031626456
  • 出版社:Springer Nature
  • 出版时间:2024

Formal Techniques for Distributed Objects, Components, and Systems

  • 作者:Christel Baier,Luís Caires
  • EISBN:9783319926124
  • 出版社:Springer International Publishing
  • 出版时间:2018

Formal Techniques for Distributed Objects, Components, and Systems

  • 作者:Susanne Graf,Mahesh Viswanathan
  • EISBN:9783319191959
  • 出版社:Springer International Publishing
  • 出版时间:2015

Formal Techniques for Distributed Objects, Components, and Systems

  • 作者:Erika Ábrahám,Catuscia Palamidessi
  • EISBN:9783662436134
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2014

Formal Techniques for Distributed Objects, Components, and Systems

  • 作者:Jorge A. Pérez,Nobuko Yoshida
  • EISBN:9783030217594
  • 出版社:Springer International Publishing
  • 出版时间:2019

Formal Techniques for Distributed Objects, Components, and Systems

  • 作者:Ahmed Bouajjani,Alexandra Silva
  • EISBN:9783319602257
  • 出版社:Springer International Publishing
  • 出版时间:2017