Constructing correct software

Book information

Publisher

Springer

Year

2005

ISBN

1852338202, 9781852338206, 9781846280795, 1846280796

Language

english

Format

PDF

Filesize

1 MB (1430321 bytes)

Series

Formal approaches to computing and information technology

Edition

2nd ed

Pages

512\512

Library

usenet tech

Time added

2013-03-30 20:00:00