Algebraic Methods: Theory, Tools and Applications [[electronic resource] /] / edited by Martin Wirsing, Jan A. Bergstra
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Algebraic Methods: Theory, Tools and Applications [[electronic resource] /] / edited by Martin Wirsing, Jan A. Bergstra
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Edizione: | 1st ed. 1989. |
| Descrizione fisica: | 1 online resource (VIII, 564 p.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Software engineering |
| Programming languages (Electronic computers) | |
| Computer programming | |
| Computer communication systems | |
| Computer logic | |
| Software Engineering | |
| Software Engineering/Programming and Operating Systems | |
| Programming Languages, Compilers, Interpreters | |
| Programming Techniques | |
| Computer Communication Networks | |
| Logics and Meanings of Programs | |
| Persona (resp. second.): | WirsingMartin |
| BergstraJan A | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | Algebraic specification a step towards future software engineering -- How to make algebraic specifications more understandable? -- Efficient implementation of an algebraic specification language -- An integrated algebraic approach to the specification of data types, processes and objects -- Software specification by behavioural canons -- An introduction to COLD-K -- A formal specification of INGRES -- The logic MPL? -- Description algebra -- The calculus ?? -- The RAP system as a tool for testing COLD specifications -- A specification of the intel 8085 microprocessor: A case study -- Specification and prototyping of a compiler for a small applicative language -- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype -- ACP? a universal axiom system for process specification -- Modular specifications in process algebra -- An algebraic specification of process algebra, including two examples. |
| Titolo autorizzato: | Algebraic methods |
| ISBN: | 3-540-46758-0 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465728003316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 0302-9743 ; ; 394