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

Concise Guide to Formal Methods
EISBN：9783319640211
PISBN：9783319640204
出版社：Springer International Publishing
出版类型：Undergraduate textbook
出版时间：2017
版次：1st ed. 2017
作者：Gerard O'Regan
主题词：Mathematical Logic and Formal Languages,Software Engineering,Performance and Reliability,Mathematical Applications in Computer Science
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Undergraduate Topics in Computer Science
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Concise Guide to Optimization Models and Methods
  • 作者：Xian Wen Ng
  • EISBN：9783030844172
  • 出版社：Springer Nature
  • 出版时间：2022
...

Concise Guide to Electrochemical Methods and Voltammetry
  • 作者：Xian Wen Ng
  • EISBN：9783030834142
  • 出版社：Springer Nature
  • 出版时间：2022
...

Concise Guide to Hematology
  • 作者：Hillard M. Lazarus,Alvin H. Schmaier
  • EISBN：9783319978734
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

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
...

Concise Guide to Databases
  • 作者：Peter Lake,Paul Crowther
  • EISBN：9781447156017
  • 出版社：Springer London
  • 出版时间：2013