Proofs for the working engineer

Author:

Mehta, Farhad Dinshaw [claim]

Publisher:

ETH

Contributors:

Müller, Peter ; Abrial, Jean-Raymond

Year of Publication:

2008

Document Type:

info:eu-repo/semantics/doctoralThesis ; [Doctoral and postdoctoral thesis]

Language:

Subjects:

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) ; info:eu-repo/classification/ddc/004 ; Data processing ; computer science

DDC:

004 Data processing & computer science

Rights:

info:eu-repo/semantics/openAccess ; http://rightsstatements.org/page/InC-NC/1.0/ ; In Copyright - Non-Commercial Use Permitted

Relations:

http://hdl.handle.net/20.500.11850/72902 ; doi:10.3929/ethz-a-005635243

URL:

https://hdl.handle.net/20.500.11850/72902
https://doi.org/10.3929/ethz-a-005635243

Content Provider:

ETH Zürich Research Collection