Cover image for Constructing correct software
Title:
Constructing correct software
Personal Author:
Series:
Formal approaches to computing and information technology
Edition:
2nd ed.
Publication Information:
New York : Springer-Verlag, 2005
Physical Description:
xxi, 509 p. : ill. ; 24 cm.
ISBN:
9781852338206

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
30000010184055 QA76.76.D47 C664 2005 Open Access Book Book
Searching...

On Order