The HOL-OCL book: Version 0.9.0
| Autor: | Brucker, Achim D., Wolff, Burkhart |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2006 |
| Předmět: |
DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ)
SPECIALIZED REFERENCE WORKS + SPECIALIZED ENCYCLOPAEDIAS + HANDBOOKS (DOCUMENT TYPE) Data processing computer science FACHLICHE NACHSCHLAGEWERKE + FACHLEXIKA + HANDBÜCHER (DOKUMENTENTYP) UML UNIFIED MODELLING LANGUAGE (SOFTWARE ENGINEERING) DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE) ddc:004 |
| Zdroj: | Technical Report / ETH Zurich, Department of Computer Science, 525 |
| DOI: | 10.3929/ethz-a-006781813 |
| Popis: | Technical Report / ETH Zurich, Department of Computer Science, 525 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|