Embedded Systems [[electronic resource] ] : New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 / / edited by Albert Kündig, Richard E. Bührer, Jacques Dähler
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Embedded Systems [[electronic resource] ] : New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 / / edited by Albert Kündig, Richard E. Bührer, Jacques Dähler
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
| Edizione: | 1st ed. 1987. |
| Descrizione fisica: | 1 online resource (VIII, 212 p.) |
| Disciplina: | 005.11 |
| Soggetto topico: | Computer programming |
| Programming Techniques | |
| Persona (resp. second.): | KündigAlbert |
| BührerRichard E | |
| DählerJacques | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | A note on the meaning of “Embedded systems” -- Design of VLSI systems -- Embedded system description using Petri nets -- Elements for the formal description of systems -- An introduction to system semantics -- Functional formalisms for system description: Current research topics -- Tools for protocols driven by formal specifications -- Functional programming languages as a software engineering tool -- Practical methods and tools for specification. |
| Titolo autorizzato: | Embedded Systems |
| ISBN: | 3-540-48021-8 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465795803316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 0302-9743 ; ; 284