登录
 机构网站
  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
3浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

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

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

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

Geoinformatics in Theory and Practice
  • 作者：Norbert de Lange
  • EISBN：9783662657584
  • 出版社：Springer Nature
  • 出版时间：2023
...

Theory and Practice of Computation
  • 作者：Shin-ya Nishizaki,Masayuki Numao,Jaime Caro,Merlin Teodosia Suarez
  • EISBN：9784431541066
  • 出版社：Springer Japan
  • 出版时间：2012
...

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