Summary goes here

Bewaard in:
Bibliografische gegevens
Formaat: Boek
Taal:Engels
Onderwerpen:
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
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)