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

  • 作者:Marieke Huisman,António Ravara
  • EISBN:9783031353550
  • 出版社:Springer Nature
  • 出版时间:2023

Formal Techniques for Distributed Objects, Components, and Systems

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

Formal Techniques for Distributed Objects, Components, and Systems

  • 作者:Elvira Albert,Ivan Lanese
  • EISBN:9783319395708
  • 出版社:Springer International Publishing
  • 出版时间:2016

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

  • 作者:Alexey Gotsman,Ana Sokolova
  • EISBN:9783030500863
  • 出版社:Springer International Publishing
  • 出版时间:2020