Reliable Software Technologies – Ada-Europe 2012

EISBN:9783642305986
PISBN:9783642305979
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2012
作者:Mats Brorsson,Luís Miguel Pinho
主题词:Programming Languages,Compilers,Interpreters,Software Engineering,Logics and Meanings of Programs,Computer Communication Networks,Programming Techniques,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 2006

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

Reliable Software Technologies - Ada-Europe 2004

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

Reliable Software Technologies – Ada-Europe 2016

  • 作者:Marko Bertogna,Luis Miguel Pinho,Eduardo Quiñones
  • EISBN:9783319390833
  • 出版社:Springer International Publishing
  • 出版时间:2016

Reliable Software Technologies – Ada-Europe 2008

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

Reliable Software Technologies – Ada-Europe 2013

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