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

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
EISBN：9783642212925
PISBN：9783642212918
出版社：Springer Berlin Heidelberg
出版类型：Proceedings
出版时间：2011
作者：Radu Calinescu,Ethan Jackson
主题词：Software Engineering,Information Systems Applications (incl.Internet),Information Storage and Retrieval,Computer Communication Networks,System Performance and Evaluation,Artificial Intelligence (incl. Robotics)
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Foundations of Computer Software. Future Trends and Techniques for Development
  • 作者：Christine Choppy,Oleg Sokolsky
  • EISBN：9783642125669
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2010
...

Verification of Object-Oriented Software. The KeY Approach
  • 作者：Bernhard Beckert,Reiner Hähnle,Peter H. Schmitt
  • EISBN：9783540690610
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2007
...

Systems and Software Verification
  • 作者：B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen
  • EISBN：9783662045589
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2001
...

Systems and Software Verification
  • 作者：Béatrice Bérard,Michel Bidoit,Alain Finkel,François Laroussinie,Antoine Petit,Laure Petrucci,Philippe Schnoebelen,Pierre McKenzie
  • EISBN：9783662045589
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2001
...

Mathematical Foundations of Software Development
  • 作者：Hartmut Ehrig,Christiane Floyd,Maurice Nivat,James Thatcher
  • EISBN：9783540393023
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1985
...

Advanced Principles for Improving Database Design, Systems Modeling, and Software Development
  • 作者：Siau,Keng;Erickson,John;Siau,Keng ;Erickson,Professor and the Chair of Finance John
  • EISBN：9781605661735
  • 出版社：IGI Global
  • 出版时间：2008-11-30