Search results:
Found 2
| Listing 1 - 2 of 2 |
Sort by
|
ISBN: 3866440421 Year: 2006 Pages: XVIII, 248 p. DOI: 10.5445/KSP/1000004542 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:58
License:
Abstract
|
Keywords
|
Free access
|
Buy the book
|
Export citation
|
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.
ISBN: 9783947732456 Year: 2020 Pages: 340 DOI: 10.17885/heiup.627 Language: German
Publisher: Heidelberg University Publishing (heiUP)
Subject: Architecture
Added to DOAB on : 2020-12-22 00:12:18
License:
Abstract |
Keywords
|
Free access
|
Buy the book
|
Export citation
|
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Garden Art --- Garden history --- Perspective --- landscape garden --- formal garden --- ecocriticism --- cartography --- Gartenkunst --- Gartengeschichte --- Perspektive --- Landschaftsgarten --- architektonischer Garten --- Ecocriticism --- Kartographie
| Listing 1 - 2 of 2 |
Sort by
|
