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

The Application of Formal Methods
EISBN：9783031671142
PISBN：9783031671135
出版社：Springer Nature
出版时间：2024
作者：Simon Foster,Augusto Sampaio
主题词：BISAC Category: Computers,Computer Science,Computers,Languages,General,Computers,Software Development & Engineering,General
学科：TP301.1 ( T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术,TP30 一般性问题,TP301 理论、方法,TP301.1 自动机理论 )
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Methods
  • 作者：Marsha Chechik,Joost-Pieter Katoen,Martin Leucker
  • EISBN：9783031274817
  • 出版社：Springer Nature
  • 出版时间：2023
...

Formal Methods
  • 作者：Flemming Nielson,Hanne Riis Nielson
  • EISBN：9783030051563
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Formal Methods
  • 作者：Klaus Havelund,Jan Peleska,Bill Roscoe,Erik de Vink
  • EISBN：9783319955827
  • 出版社：Springer International Publishing
  • 出版时间：2018
...

Integrated Formal Methods
  • 作者：Jim Davies,Jeremy Gibbons
  • EISBN：9783540732105
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2007
...

Integrated Formal Methods
  • 作者：Maurice H. ter Beek;Rosemary Monahan
  • EISBN：9783031077272
  • 出版社：Springer Nature
  • 出版时间：2022
...

Teaching Formal Methods
  • 作者：Jeremy Gibbons,José Nuno Oliveira
  • EISBN：9783642049125
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2009