Verification: Theory and Practice

Verification: Theory and Practice

EISBN：9783540399100

PISBN：9783540210023

出版社：Springer Berlin Heidelberg

出版类型：Commemorative publication

出版时间：2003

版次：2003

作者：Nachum Dershowitz

主题词：Computer Science,Software Engineering,Programming and Operating Systems,Logics and Meanings of Programs,Special Purpose and Application-Based Systems,Software Engineering,Programming Languages,Compilers,Interpreters,Computation by Abstract Devices

语种：英语

所属数据库：SpringerLink电子图书(1815-2004)

丛书题名：Lecture Notes in Computer Science

问图书管理员

查看订购单位

点赞

收藏

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