نتایج جستجو
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
Reiner Hähnle (auth.), 2007
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
Reiner Hähnle (auth.), 2007
LOTOSphere: Software Development with LOTOS
Chris A. Vissers, 1995
Software Product Lines: 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings
David M. Weiss (auth.), 2005
Testing Safety-Related Software: A Practical Handbook
Stewart N. Gardiner BSc, 1999
Automatic Re-engineering of Software Using Genetic Programming
Conor Ryan (auth.), 2000
Essential Java Fast : How to write object oriented software for the Internet
John Cowell BSc(Hons), 1997
Computer Organization and Design, Fifth Edition: The Hardware/Software Interface
David A. Patterson, 2013
