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

Verification: Theory and Practice
EISBN：9783540399100
PISBN：9783540210023
出版社：Springer Berlin Heidelberg
出版类型：Commemorative publication
出版时间：2003
作者：Nachum Dershowitz
主题词：Logics and Meanings of Programs,Special Purpose and Application-Based Systems,Software Engineering,Programming Languages,Compilers,Interpreters,Computation by Abstract Devices,Mathematical Logic and Formal Languages
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Verification: Theory and Practice
  • 作者：Nachum Dershowitz
  • EISBN：9783540399100
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2003
...

Leveraging Applications of Formal Methods, Verification and Validation. Practice
  • 作者：Tiziana Margaria;Bernhard Steffen
  • EISBN：9783031197628
  • 出版社：Springer Nature
  • 出版时间：2022
...

Welding Theory and Practice
  • 作者：Olson,D.L.
  • PISBN：9780444874276
  • 出版时间：Legacy
...

Systems: Theory and Practice
  • 作者：Rudolf Albrecht
  • EISBN：9783709164518
  • 出版社：Springer Vienna
  • 出版时间：1998
...

Microemulsions Theory and Practice
  • 作者：Prince,Leon
  • PISBN：9780125657501
  • 出版时间：Legacy
...

Microgrids: Theory and Practice
  • 作者：Zhang
  • EISBN：9781119890881
  • 出版社：Wiley
  • 出版时间：2023