Diese Seite verwendet Cookies für unsere Dienste, zur Verbesserung unserer Leistungen, für Analytik und (falls Sie nicht eingeloggt sind) für Werbung. Indem Sie LibraryThing nutzen, erklären Sie dass Sie unsere Nutzungsbedingungen und Datenschutzrichtlinie gelesen und verstanden haben. Die Nutzung unserer Webseite und Dienste unterliegt diesen Richtlinien und Geschäftsbedingungen.

Egon Börger

Autor von Abstract State Machines. A Method for High-Level System Design and Analysis.

Beinhaltet die Namen: Egon Borger, Egon Boerger, Egon Börger

Mitglieder	Rezensionen	Beliebtheit	Bewertung	Favoriten	Veranstaltungen
42	0	283,760		0	0

strukturieren | Filter

Werke von Egon Börger

Abstract State Machines. A Method for High-Level System Design and… 21 Exemplare

The classical decision problem 8 Exemplare

Trends in Theoretical Computer Science (Principles of Computer Science… 4 Exemplare

Modeling companion for software practitioners 3 Exemplare

Abstract State Machines, B and Z: First International Conference, ABZ… 2 Exemplare

Advances in Software Engineering: Lipari Summer School 2007, Lipari… 1 Exemplar

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October… 1 Exemplar

Architecture Design and Validation Methods 1 Exemplar

Abstract State Machines 2003. Advances in Theory and Practice: 10th… 1 Exemplar

Mitglieder

Top-Mitglieder (Werke)

xoanon93 (1), logicatGU (1), jwinterburn (1), vagstol (1), NickIvanov (1), hmack777 (1), aziiz (1), UtrechtUniversity (1), nfactor13 (1), fabiodcl (1), Jonathan_Bowen (1), immrama (1), prosfilaes (1), morphismus (1) — mehr

Zuletzt hinzugefügt

nfactor13 (1), Jonathan_Bowen (1), KennethUdut (1), prosfilaes (1), morphismus (1), UtrechtUniversity (1), fabiodcl (1), hopjesvla (1), BUMPCS (1)

Lieblingsautoren der Mitglieder

Mitglieder: Keine

Zu Favoriten hinzufügen

Zugehörige Tags

#23 (1) 2009 (1) @goog (1) @oh (1) AmazonCart (1) ASM (1) classical decision problem (1) Informatik (4) Computersimulation (1) computer software development (1) Computer (1) Embedded computer systems (2) Fabien (1) Formale Methode (1) Verifizierung (1) Mathematik (1) Mathematische Logik (1) Sachbuch (1) Programmierung (1) Semantik (1) Software-Entwicklung (1) Softwaretechnik (2) system design (2) unkategorisiert (1) Wikipedia-Dewey-Match (1) Wunschzettel (1)

Tag-Übersetzung eingeschaltet

Veranstaltungen auf LibraryThing lokal

Keine Veranstaltungen eingetragen. (Füge eine Veranstaltung hinzu)

Wissenswertes

Du musst dich einloggen, um "Wissenswertes" zu bearbeiten.

Weitere Hilfe gibt es auf der "Wissenswertes"-Hilfe-Seite.

Gebräuchlichste Namensform

Rechtmäßiger Name

Andere Namen

Geburtsdatum

Todestag

Begräbnisort

Geschlecht

Nationalität

Land (für Karte)

Geburtsort

Sterbeort

Todesursache

Wohnorte

Ausbildung

Berufe

Beziehungen

Organisationen

Preise und Auszeichnungen

Agenten

Kurzbiographie

Hinweis zur Identitätsklärung

Bist das du?

Werde ein LibraryThing-Autor.

Links

Wikipedia (English) (unbestätigt)

Bewertungen

Durchschnitt: Keine Bewertungen.

Autorenseite verbessern

Werke zusammenfügen/aufspalten

Egon Börger

Autoren-Unterteilung

Egon Börger wird momentan als ein einzelner Autor angesehen. Wenn ein oder mehrere Werke von einem anderen Autor mit gleichem Namen stammen, kannst Du gerne die Autorenseite in mehrere Seiten/Autoren aufspalten.

Beinhaltet

Egon Börger umfasst 4 Namen. Überprüfen und trennen.

Zusammenführen mit…

Kein Autor vorgeschlagen.
Suche

Über uns | Kontakt/Impressum | LibraryThing.com | Datenschutz/Nutzungsbedingungen | Hilfe/FAQs | Blog | "Gschäfterl" | APIs | TinyCat | Nachlassbibliotheken | Early Reviewers | Wissenswertes | 154,474,102 Bücher! | Menüleiste: Immer sichtbar

Copyright LibraryThing and/or members of LibraryThing, authors, publishers, libraries, cover designers, Amazon, Bol, Bruna, etc. | static: /