Report
Especificació algebraica de tipus abstractes de dades: estudi de casos
| Τίτλος: | Especificació algebraica de tipus abstractes de dades: estudi de casos |
|---|---|
| Συγγραφείς: | Franch Gutiérrez, Javier |
| Συνεισφορές: | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering |
| Έτος έκδοσης: | 1991 |
| Συλλογή: | Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge |
| Θεματικοί όροι: | Àrees temàtiques de la UPC::Informàtica, Algebra -- Data processing, Àlgebra, Àlgebra -- Processament de dades |
| Περιγραφή: | Com a complement als conceptes teòrics introduïts en el report LSI-91-1 "Especificacions algebraiques", es presenta una col·lecció de problemes resolts amb el propòsit primordial de conèixer les excepcions habituals al mètode general d'especificació. Aquesta col·lecció es divideix en dues categories: especificacions d'estructures de dades clàssiques (piles, cues, llistes, arbres i grafs, amb algunes variants) i especificacions de problemes concrets (des d'una taula de símbols fins a un sistema de reserves per una companyia aèria). ; Postprint (published version) |
| Τύπος εγγράφου: | report |
| Περιγραφή αρχείου: | 69 p.; application/pdf |
| Γλώσσα: | Catalan; Valencian |
| Relation: | LSI-91-5; Franch, X. Especificació algebraica de tipus abstractes de dades: estudi de casos. 1991.; https://hdl.handle.net/2117/329312 |
| Διαθεσιμότητα: | https://hdl.handle.net/2117/329312 |
| Rights: | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ ; Open Access ; Attribution-NonCommercial-NoDerivs 3.0 Spain |
| Αριθμός Καταχώρησης: | edsbas.264D0390 |
| Βάση Δεδομένων: | BASE |
καταχωρήστε σχόλιο πρώτοι!