Salta al contenuto principale

Foto dell'autore

Egon Börger

Autore di Abstract State Machines: A Method for High-Level System Design and Analysis

9 opere 41 membri 0 recensioni

Sull'Autore

Comprende i nomi: Egon Borger, Egon Boerger, Egon Börger

Opere di Egon Börger

Popolari Recenti

Abstract State Machines: A Method for High-Level System Design and Analysis (2003) 22 copie

The Classical Decision Problem (1996) 7 copie

Trends in Theoretical Computer Science (Principles of Computer Science Series) (1988) 4 copie

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008.… (2008) 2 copie

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in… (1992) 2 copie

Architecture Design and Validation Methods (2000) 1 copia

Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy,… (2003) 1 copia

Modeling companion for software practitioners (2018) 1 copia

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial… (2008) 1 copia

Esplora le opere

Etichette

#23 (1) 2009 (1) @goog (1) @oh (1) AmazonCart (1) ASM (1) classical decision problem (1) computer (1) computer simulation (1) computer software development (1) Embedded computer systems (2) Fabien (1) formal methods (1) formal verification (1) Informatica (4) Ingegneria del software (2) lista dei desideri (1) Logica matematica (1) Matematica (1) non categorizzato (1) programmazione (1) Saggistica (1) Semantica (1) Springer (1) sviluppo software (1) system design (2) Wikipedia-Dewey-Match (1)

Traduzione delle etichette attiva

Informazioni generali

Non ci sono ancora dati nella Conoscenza comune per questo autore. Puoi aiutarci.

Utenti

Statistiche

Opere: 9
Utenti: 41
Popolarità: #363,652

ISBN: 36

Immagini

Galleria dell'autore

Collegamenti

Wikipedia (English) (non confermato)

Centro di assistenza

I membri di LibraryThing migliorano gli autori combinando nomi di autori e opere, separando gli autori omonimi in identità distinte e altro ancora.

Centro di assistenza

Sei tu?

Diventa un autore di LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Questo sito utilizza i cookies per fornire i nostri servizi, per migliorare le prestazioni, per analisi, e (per gli utenti che accedono senza fare login) per la pubblicità. Usando LibraryThing confermi di aver letto e capito le nostre condizioni di servizio e la politica sulla privacy. Il tuo uso del sito e dei servizi è soggetto a tali politiche e condizioni.