Formal Techniques for Distributed Objects, Components, and Systems

EISBN:9783031626456
PISBN:9783031626449
出版社:Springer Nature
出版时间:2024
作者:Valentina Castiglioni,Adrian Francalanza
主题词:Computer Science
学科:TN ( T 工业技术,TN 无线电电子学、电信技术 )
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

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

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

Formal Techniques for Distributed Objects, Components, and Systems

  • 作者:Mohammad Reza Mousavi;Anna Philippou
  • EISBN:9783031086793
  • 出版社:Springer Nature
  • 出版时间:2022

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

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