Rigorous Software Development - An Introduction to Program Verification

AuthID
P-00A-8WS
4
Author(s)
Tipo de Documento
Book
Year published
2011
Publicado
in Undergraduate Topics in Computer Science in Undergraduate Topics in Computer Science, ISSN: 1863-7310
Páginas: I-XII, 1-263 (269)
Indexing
Book Cover
Publication Identifiers
DBLP: series/utcs/AlmeidaFPS11
Openlibrary: OL26841669M
Source Identifiers
ISSN: 1863-7310
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.