Reliable Software Technologies – Ada-Europe 2016

EISBN:9783319390833
PISBN:9783319390826
出版社:Springer International Publishing
出版类型:Proceedings
出版时间:2016
版次:1st ed. 2016
作者:Marko Bertogna,Luis Miguel Pinho,Eduardo Quiñones
主题词:Programming Languages,Compilers,Interpreters,Software Engineering,Special Purpose and Application-Based Systems,Logics and Meanings of Programs,Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Reliable Software Technologies - Ada-Europe 2004

  • 作者:Albert Llamosi,Alfred Strohmeier
  • EISBN:9783540248415
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Reliable Software Technologies - Ada-Europe 2004

  • 作者:Albert Llamosí,Alfred Strohmeier
  • EISBN:9783540248415
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Reliable Software Technologies – Ada-Europe 2006

  • 作者:Luís Miguel Pinho,Michael González Harbour
  • EISBN:9783540346647
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Reliable Software Technologies – Ada-Europe 2013

  • 作者:Hubert B. Keller,Erhard Plödereder,Peter Dencker,Herbert Klenk
  • EISBN:9783642386015
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013

Reliable Software Technologies — Ada-Europe 2003

  • 作者:Jean-Pierre Rosen,Alfred Strohmeier
  • EISBN:9783540449478
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Reliable Software Technologies – Ada-Europe 2008

  • 作者:Fabrice Kordon,Tullio Vardanega
  • EISBN:9783540686248
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008