Mathematical Foundations of Software Engineering

EISBN:9783031262128
PISBN:9783031262111
出版社:Springer Nature
出版时间:2023
作者:Gerard O'Regan
主题词:Matrix Theory,Computational Logic,Quaternion,Ring Theory,Financial Mathematics,Software Engineering Logic,Formal Methods
学科:Computer Science
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:Texts in Computer Science
相关推荐

Software Engineering Foundations

  • 作者:Wang,Yingxu;Wang Yingxu Staff
  • EISBN:9780203496091
  • 出版社:Auerbach Publishers, Incorporated
  • 出版时间:2007-08-09

Mathematical Foundations of Software Development

  • 作者:Hartmut Ehrig,Christiane Floyd,Maurice Nivat,James Thatcher
  • EISBN:9783540393023
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

Formal Foundations for Software Engineering Methods

  • 作者:Heinrich Hußmann
  • EISBN:9783540696100
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Mathematical Foundations of System Safety Engineering

  • 作者:Richard R. Zito
  • EISBN:9783030262419
  • 出版社:Springer International Publishing
  • 出版时间:2020

Mathematical Foundations of Computational Engineering

  • 作者:Peter Jan Pahl,Rudolf Damrath
  • EISBN:9783642568930
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Formal Foundations for Software Engineering Methods

  • 作者:Heinrich Hußmann
  • EISBN:9783540696100
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997