Proofs for the working engineer

Download
Abstract (Adobe PDF, 170.9Kb)
Fulltext (Adobe PDF, 6.213Mb)
Thumbnail
Open access
Author
Mehta, Farhad Dinshaw
Date
2008
Type
  • Doctoral Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-005635243
Publication status
published
External links
Search via SFX
Contributors
Supervisor: Müller, Peter
Supervisor: Abrial, Jean-Raymond
Publisher
ETH
Subject
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, Peter
02150 - Departement Informatik / Department of Computer Science
More
Show all metadata
Altmetrics