Proofs for the working engineer
Open access
Date
2008Type
- Doctoral Thesis
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-005635243Publication status
publishedContributors
Supervisor: Müller, PeterSupervisor: Abrial, Jean-Raymond
Publisher
ETHSubject
DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE); DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ); SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS); SOFTWARE ENGINEERING; SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME)Organisational unit
03653 - Müller, Peter02150 - Departement Informatik / Department of Computer Science
Notes
Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 17671, 2008..
More
Show all metadata
Altmetrics