登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

The Logic of Software. A Tasting Menu of Formal Methods
EISBN：9783031081668
PISBN：9783031081651
出版社：Springer Nature
出版时间：2022
作者：Wolfgang Ahrendt;Bernhard Beckert;Richard Bubel;Einar Broch Johnsen
主题词：Computer Science
学科：T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术,TP30 一般性问题,TP309 安全保密
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Methods and Software Engineering
  • 作者：Stephan Merz,Jun Pang
  • EISBN：9783319117379
  • 出版社：Springer International Publishing
  • 出版时间：2014
...

Formal Foundations for Software Engineering Methods
  • 作者：Heinrich Hußmann
  • EISBN：9783540696100
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1997
...

Formal Methods and Software Engineering
  • 作者：Adrian Riesco;Min Zhang
  • EISBN：9783031172441
  • 出版社：Springer Nature
  • 出版时间：2022
...

Software Engineering and Formal Methods
  • 作者：Antonio Cerone,Marco Roveri
  • EISBN：9783319747811
  • 出版社：Springer International Publishing
  • 出版时间：2018
...

Software Engineering and Formal Methods
  • 作者：Rocco De Nicola,Eva Kühn
  • EISBN：9783319415918
  • 出版社：Springer International Publishing
  • 出版时间：2016
...

Formal Methods and Software Engineering
  • 作者：Michael Butler,Michael G. Hinchey,María M. Larrondo-Petrie
  • EISBN：9783540766506
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2007