Summary goes here

में बचाया:
ग्रंथसूची विवरण
स्वरूप: पुस्तक
भाषा:अंग्रेज़ी
विषय:
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
era
format Book
genre
geographic
id 9bfbf8da-9b03-4da4-af33-a8e24e60356f
isbn 1852338202
9781852338206
issn
language eng
physical xxi, 509 pages :illustrations ;24 cm.
publication – publisher: Springer
  dateOfPublication: 2005
publishDate 2005
subjects
title Constructing correct software / John Cooke.
topic Computer software
Formal methods (Computer science)
Computer software
Formal methods (Computer science)