1. Formal specification using Z: a modelling approach
پدیدآورنده : Bottaci, Leonardo
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Z )Computer program language( , Computer Software - Development
رده :
QA
76
.
73
.
Z2
B67
1995
2. Practice and Research TechniquesتTesting
پدیدآورنده : / Leonardo Bottaci, Gordon Fraser
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
