Testing Object-Oriented Software

EISBN:9781461215264
PISBN:9781461271796
出版社:Springer New York
出版类型:Professional book
出版时间:1999
作者:Imran Bashir,Amrit L. Goel
主题词:Software Engineering
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Testing Object-Oriented Software

  • 作者:Imran Bashir,Amrit L. Goel
  • EISBN:9781461215264
  • 出版社:Springer New York
  • 出版时间:1999

Object-Oriented Software in C++

  • 作者:Michael A. Smith
  • EISBN:9781489966292
  • 出版社:Springer US
  • 出版时间:1993

Formal Verification of Object-Oriented Software

  • 作者:Bernhard Beckert,Ferruccio Damiani,Dilian Gurov
  • EISBN:9783642317620
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2012

Formal Verification of Object-Oriented Software

  • 作者:Bernhard Beckert,Claude Marché
  • EISBN:9783642180705
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011

Object-oriented Software for Manufacturing Systems

  • 作者:S. Adiga
  • EISBN:9789401148443
  • 出版社:Springer Netherlands
  • 出版时间:1993

Verification of Object-Oriented Software. The KeY Approach

  • 作者:Bernhard Beckert,Reiner Hähnle,Peter H. Schmitt
  • EISBN:9783540690610
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007