Embedded Software Verification and Debugging

EISBN:9781461422662
PISBN:9781461422655
出版社:Springer New York
出版类型:Professional book
出版时间:2017
版次:1st ed. 2017
作者:Djones Lettnin,Markus Winterholer
主题词:Circuits and Systems,Processor Architectures,Electronics and Microelectronics,Instrumentation
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:Embedded Systems
相关推荐

Debugging Embedded and Real Time Systems

  • 作者:Berger,Arnold S.
  • PISBN:9780128178119
  • 出版时间:2020

SECRETS OF SOFTWARE DEBUGGING

  • 作者:TRUCK SMITH
  • PISBN:0830618112
  • 出版社:TAB BOOKS INC.

Software Verification

  • 作者:Maria Christakis,Nadia Polikarpova,Parasara Sridhar Duggirala,Peter Schrammel
  • EISBN:9783030636180
  • 出版社:Springer International Publishing
  • 出版时间:2020

Embedded Software

  • 作者:Rajeev Alur,Insup Lee
  • EISBN:9783540452126
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Debugging Embedded Microprocessor Systems

  • 作者:Stuart Ball
  • PISBN:9780750699907
  • 出版时间:Pre 2007

Embedded Software

  • 作者:Alberto Sangiovanni-Vincentelli,Joseph Sifakis
  • EISBN:9783540458289
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002