Foundations of Computer Software. Future Trends and Techniques for Development

EISBN:9783642125669
PISBN:9783642125652
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2010
作者:Christine Choppy,Oleg Sokolsky
主题词:Software Engineering,Information Systems Applications (incl.Internet),Information Storage and Retrieval,Computer Communication Networks,Database Management,System Performance and Evaluation
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

  • 作者:Radu Calinescu,Ethan Jackson
  • EISBN:9783642212925
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011

Mathematical Foundations of Software Development

  • 作者:Hartmut Ehrig,Christiane Floyd,Maurice Nivat,James Thatcher
  • EISBN:9783540393023
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

Recent Trends in Algebraic Development Techniques

  • 作者:Didier Bert,Christine Choppy,Peter D. Mosses
  • EISBN:9783540446163
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Recent Trends in Algebraic Development Techniques

  • 作者:José Luiz Fiadeiro,Peter D. Mosses,Fernando Orejas
  • EISBN:9783540319597
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005

Recent Trends in Algebraic Development Techniques

  • 作者:Till Mossakowski,Hans-Jörg Kreowski
  • EISBN:9783642284120
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2012

Recent Trends in Algebraic Development Techniques

  • 作者:José Luiz Fiadeiro,Pierre-Yves Schobbens
  • EISBN:9783540719984
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007