1. System design from porvably correct constructs: the beginning of true software engineering
Author: Martin, James
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، System design,Programming ، Electronic digital computers,، Debugging in computer science
Classification :
QA
76
.
9
.
S88
M37
1985
2. System design from provably correct constructs:the beginnings of
Author: MARTIN,JAMES
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: SYSTEM DESIGN , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DEBUGGING IN COMPUTER SCIENCE
Classification :
QA
76
.
9
.
S88
M37