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

Rigorous Software Development
EISBN：9780857290182
PISBN：9780857290175
出版社：Springer London
出版类型：Graduate/advanced undergraduate textbook
出版时间：2011
作者：José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa
主题词：Software Engineering,Logics and Meanings of Programs,Symbolic and Algebraic Manipulation
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Undergraduate Topics in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Language Engineering and Rigorous Software Development
  • 作者：Ana Bove,Luís Soares Barbosa,Alberto Pardo,Jorge Sousa Pinto
  • EISBN：9783642031533
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2009
...

Rigorous Methods for Software Construction and Analysis
  • 作者：Jean-Raymond Abrial,Uwe Glässer
  • EISBN：9783642114472
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2009
...

Software development
  • 作者：Wolfgang End Horst Gotthardt Rolf Winkelmann
  • PISBN：0471262382
...

Rigorous Development of Complex Fault-Tolerant Systems
  • 作者：Michael Butler,Cliff B. Jones,Alexander Romanovsky,Elena Troubitsyna
  • EISBN：9783540482673
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2006
...

Rigorous Software Engineering for Service-Oriented Systems
  • 作者：Martin Wirsing,Matthias Hölzl
  • EISBN：9783642204012
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2011
...

Principled Software Development
  • 作者：Peter Müller,Ina Schaefer
  • EISBN：9783319980478
  • 出版社：Springer International Publishing
  • 出版时间：2018