Yazar
Thimbleby, Harold, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267346
Format:
Electronic Resources
Alıntı:
COMPUTERS / Software Development & Engineering / General.
Yazar
Ensmenger, Nathan, 1972-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480
Format:
Electronic Resources
Alıntı:
Software engineering -- History.
View Other Search Results
Yazar
Metzger, Robert C., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267414
Format:
Electronic Resources
Alıntı:
COMPUTERS -- Software Development & Engineering -- General.
Yazar
Nardi, Bonnie A., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418
Format:
Electronic Resources
Alıntı:
COMPUTERS -- Software Development & Engineering -- General.
Yazar
Reps, Thomas W., (Thomas William) author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325
Format:
Electronic Resources
Alıntı:
This book addresses a fundamental software engineering issue, applying formal techniques and
Yazar
Chlipala, Adam, 1981-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486
Format:
Electronic Resources
Alıntı:
adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing