Rigorous Software Development : An Introduction to Program Verification (English)
- New search for: Almeida, José Bacelar
- Further information on Almeida, José Bacelar:
- http://d-nb.info/gnd/143481274
- New search for: Almeida, José Bacelar
- Further information on Almeida, José Bacelar:
- http://d-nb.info/gnd/143481274
- New search for: Frade, Maria João
- New search for: Pinto, Jorge Sousa
- New search for: Melo de Sousa, Simão
2011
-
ISBN:
- Book / Electronic Resource
-
Title:Rigorous Software Development : An Introduction to Program Verification
-
Contributors:
-
Published in:
-
Publisher:
- New search for: Springer-Verlag London Limited
-
Place of publication:London
-
Publication date:2011
-
Size:Online-Ressource (XIII, 307p. 52 illus, digital)
-
Remarks:Campusweiter Zugriff (Universität Hannover). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.
Includes bibliographical references and index -
ISBN:
-
DOI:
-
Type of media:Book
-
Type of material:Electronic Resource
-
Language:English
- New search for: 68Q60 / 03B70 / *68-01 / 68N30
- Further information on Mathematics Subject Classification
- New search for: 54.52
- Further information on Basic classification
- New search for: 005.14 / 005.1
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
IntroductionDr. Almeida, José Bacelar / Dr. Frade, Maria João / Dr. Pinto, Jorge Sousa / Dr. Melo de Sousa, Simão et al. | 2011
- 15
-
An Overview of Formal Methods Tools and TechniquesDr. Almeida, José Bacelar / Dr. Frade, Maria João / Dr. Pinto, Jorge Sousa / Dr. Melo de Sousa, Simão et al. | 2011
- 45
-
Propositional LogicDr. Almeida, José Bacelar / Dr. Frade, Maria João / Dr. Pinto, Jorge Sousa / Dr. Melo de Sousa, Simão et al. | 2011
- 81
-
First-Order LogicDr. Almeida, José Bacelar / Dr. Frade, Maria João / Dr. Pinto, Jorge Sousa / Dr. Melo de Sousa, Simão et al. | 2011
- 129
-
Hoare LogicDr. Almeida, José Bacelar / Dr. Frade, Maria João / Dr. Pinto, Jorge Sousa / Dr. Melo de Sousa, Simão et al. | 2011
- 159
-
Generating Verification ConditionsDr. Almeida, José Bacelar / Dr. Frade, Maria João / Dr. Pinto, Jorge Sousa / Dr. Melo de Sousa, Simão et al. | 2011
- 181
-
Safety PropertiesDr. Almeida, José Bacelar / Dr. Frade, Maria João / Dr. Pinto, Jorge Sousa / Dr. Melo de Sousa, Simão et al. | 2011
- 195
-
Procedures and ContractsDr. Almeida, José Bacelar / Dr. Frade, Maria João / Dr. Pinto, Jorge Sousa / Dr. Melo de Sousa, Simão et al. | 2011
- 229
-
Specifying C ProgramsDr. Almeida, José Bacelar / Dr. Frade, Maria João / Dr. Pinto, Jorge Sousa / Dr. Melo de Sousa, Simão et al. | 2011
- 241
-
Verifying C ProgramsDr. Almeida, José Bacelar / Dr. Frade, Maria João / Dr. Pinto, Jorge Sousa / Dr. Melo de Sousa, Simão et al. | 2011