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

Formal Verification of Control System Software
EISBN：9780691189581
PISBN：9780691181301
出版社：Princeton University Press
出版时间：2019-05-14
作者：Garoche,Pierre-Loïc;
学科：线性规划,应用数学,微分方程、积分方程,计算技术、计算机技术,最优化的数学理论,线性规划,数值分析
语种：英语
所属数据库：中图“易阅通”电子图书集成数据库
丛书题名：Princeton Series in Applied Mathematics
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal System Verification
  • 作者：Rolf Drechsler
  • EISBN：9783319576855
  • 出版社：Springer International Publishing
  • 出版时间：2018
...

Formal Verification
  • 作者：Seligman,Erik
  • PISBN：9780128007273
  • 出版时间：2015
...

Formal Verification of Object-Oriented Software
  • 作者：Bernhard Beckert,Ferruccio Damiani,Dilian Gurov
  • EISBN：9783642317620
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2012
...

Formal Verification of Object-Oriented Software
  • 作者：Bernhard Beckert,Claude Marché
  • EISBN：9783642180705
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2011
...

Formal Approaches to Software Testing and Runtime Verification
  • 作者：Klaus Havelund,Manuel Núñez,Grigore Roşu,Burkhart Wolff
  • EISBN：9783540497035
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2006
...

Software Verification
  • 作者：Maria Christakis,Nadia Polikarpova,Parasara Sridhar Duggirala,Peter Schrammel
  • EISBN：9783030636180
  • 出版社：Springer International Publishing
  • 出版时间：2020