Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
All Fields
Title
Author
Subject
Shelfmark
ISBN/ISSN
Tag
Find
Advanced Search
Constructing correct software...
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to BibTeX
Export to RIS
Save to List
Permanent link
Loading…
Constructing correct software / John Cooke.
Saved in:
Bibliographic Details
Main Author:
Cooke, John, 1947-
Format:
Book
Language:
English
Published:
London :
Springer,
2005.
Edition:
2nd ed.
Subjects:
Software engineering
Computer software
>
Development
Formal methods (Computer science)
Computer programs
>
Correctness
Tags:
Add Tag
No Tags, Be the first to tag this record!
Availability
Description
Similar Items
Staff View
Similar Items
Formal methods : state of the art and new directions / Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors.
Published: (2010)
Object-oriented software construction / Bertrand Meyer.
by: Meyer, Bertrand, 1950-
Published: (1997)
Design patterns formalization techniques Toufik Taibi [editor].
Published: (2007)
SEFM 2007 Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England / edited by Mike Hinchey, Tziana Magaria ; sponsored by IEEE Computer Society ... [et al.].
Published: (2007)
Proceedings, Sixth IEEE International Conference on Software Engineering and Formal Methods SEFM 2008 : 10-14 November 2008, Cape Town, South Africa / editors, Antonio Cerone, Stefan Gruner ; sponsored by IEEE Computer Society ... [et al.].
Published: (2008)
