Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A Concurrent Pascal Compiler for Minicomputers / by A. C. Hartmann
| A Concurrent Pascal Compiler for Minicomputers / by A. C. Hartmann |
| Autore | Hartmann A. C |
| Edizione | [1ª ed.] |
| Pubbl/distr/stampa | Berlin, Heidelberg, : Springer Berlin Heidelberg, : Imprint : Springer, 1977 |
| Descrizione fisica | 1 online resource (VIII, 124 p.) |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Ingeniería del software
Sistemas operativos Programación de ordenadores |
| Soggetto non controllato | Informática |
| ISBN |
3-540-37374-8 (eIsbn)
3540-82409 (Isbn en papel) |
| Classificazione | C6140 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Definitions -- Past Structure -- Lexical analysis -- Syntax analysis -- Name analysis -- Declaration analysis -- Body analysis -- Code selection -- Code assembly -- Interpass topics -- The virtual machine -- Implementation -- References. |
| Record Nr. | UNISA-996465647103316 |
Hartmann A. C
|
||
| Berlin, Heidelberg, : Springer Berlin Heidelberg, : Imprint : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein
| System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 249 p. 91 illus.) |
| Disciplina | 004.2/1 |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering Programming and Software Engineering |
| Soggetto topico |
Sistemas, Análisis de
Software engineering Sistemas de información de gestión Computer communication systems Programming languages (Electronic computers) Management information systems Computer science Software Engineering Ingeniería del software Computer Communication Networks Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-36757-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models ’67 Revisited -- Identification and Selection of Interaction Test Scenarios for Integration Testing -- An Approach to Specify and Analyze Goal Model Families -- Real-Time Tasks in SDL -- Prototyping Domain Specific Languages as Extensions of a General Purpose Language -- Behavioral Fuzzing Operators for UML Sequence Diagrams -- Relativity and Abstract State Machines -- From Earthquake Detection to Traffic Surveillance – About Information and Communication Infrastructures for Smart Cities -- On Deriving Detailed Component Design from High-Level Service Specification -- Type-Safe Symmetric Composition of Metamodels Using Templates -- Towards Correct Product Derivation in Model-Driven Product Lines -- Simulation Configuration Modeling of Distributed Communication Systems -- GRL Model Validation: A Statistical Approach -- Configuration-Based Service Availability Analysis for Middleware Managed Applications. |
| Altri titoli varianti | SAM'12 |
| Record Nr. | UNISA-996465673103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein
| System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 249 p. 91 illus.) |
| Disciplina | 004.2/1 |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering Programming and Software Engineering |
| Soggetto topico |
Sistemas, Análisis de
Software engineering Sistemas de información de gestión Computer communication systems Programming languages (Electronic computers) Management information systems Computer science Software Engineering Ingeniería del software Computer Communication Networks Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-36757-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models ’67 Revisited -- Identification and Selection of Interaction Test Scenarios for Integration Testing -- An Approach to Specify and Analyze Goal Model Families -- Real-Time Tasks in SDL -- Prototyping Domain Specific Languages as Extensions of a General Purpose Language -- Behavioral Fuzzing Operators for UML Sequence Diagrams -- Relativity and Abstract State Machines -- From Earthquake Detection to Traffic Surveillance – About Information and Communication Infrastructures for Smart Cities -- On Deriving Detailed Component Design from High-Level Service Specification -- Type-Safe Symmetric Composition of Metamodels Using Templates -- Towards Correct Product Derivation in Model-Driven Product Lines -- Simulation Configuration Modeling of Distributed Communication Systems -- GRL Model Validation: A Statistical Approach -- Configuration-Based Service Availability Analysis for Middleware Managed Applications. |
| Altri titoli varianti | SAM'12 |
| Record Nr. | UNINA-9910484215803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
