1. Formal specification using Z: a modelling approach
Author: Bottaci, Leonardo
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Z )Computer program language( , Computer Software - Development
Classification :
QA
76
.
73
.
Z2
B67
1995
2. Practice and Research TechniquesتTesting
Author: / Leonardo Bottaci, Gordon Fraser
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
