Objects, Models, Components, Patterns

EISBN:9783642219528
PISBN:9783642219511
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2011
作者:Judith Bishop,Antonio Vallecillo
主题词:Software Engineering,Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Programming Techniques,Mathematical Logic and Formal Languages,Computer Communication Networks
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Objects, Models, Components, Patterns

  • 作者:Carlo A. Furia,Sebastian Nanz
  • EISBN:9783642305610
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2012

Objects, Models, Components, Patterns

  • 作者:Jan Vitek
  • EISBN:9783642139536
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2010

Objects, Components, Models and Patterns

  • 作者:Manuel Oriol,Bertrand Meyer
  • EISBN:9783642025716
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Objects, Components, Models and Patterns

  • 作者:Richard F. Paige,Bertrand Meyer
  • EISBN:9783540698241
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Formal Methods for Components and Objects

  • 作者:Frank S. Boer,Marcello M. Bonsangue,Susanne Graf,Willem-Paul Roever
  • EISBN:9783540367505
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Formal Methods for Components and Objects

  • 作者:Bernhard K. Aichernig,Frank S. Boer,Marcello M. Bonsangue
  • EISBN:9783642252716
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2012