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

Formal Specification
EISBN：9781447107910
PISBN：9781852330026
出版社：Springer London
出版类型：Graduate/advanced undergraduate textbook
出版时间：1999
作者：Nimal Nissanke
主题词：Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Software Engineering
语种：英语
所属数据库：SpringerLink电子图书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Specification
  • 作者：Nimal Nissanke
  • EISBN：9781447107910
  • 出版社：Springer London
  • 出版时间：1999
...

Formal Systems Specification
  • 作者：Manfred Broy,Stephan Merz,Katharina Spies
  • EISBN：9783540495734
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1996
...

Formal Specification Level
  • 作者：Mathias Soeken,Rolf Drechsler
  • EISBN：9783319086996
  • 出版社：Springer International Publishing
  • 出版时间：2015
...

Formal Systems Specification
  • 作者：Manfred Broy,Stephan Merz,Katharina Spies
  • EISBN：9783540495734
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1996
...

Larch: Languages and Tools for Formal Specification
  • 作者：John V. Guttag,James J. Horning,S. J. Garland,K. D. Jones,A. Modet,J. M. Wing
  • EISBN：9781461227045
  • 出版社：Springer New York
  • 出版时间：1993
...

The Use of Formal Specification of Software
  • 作者：H.K. Berg,W.K. Giloi
  • EISBN：9783642678813
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1980