ISBN: 9783540329237
*Formal Models of Communicating Systems* - Languages Automata and Monadic Second-Order Logic / pdf eBook für 53.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Medie… Mehr…
Hugendubel.de Versandkosten:Kein Versand in Ihr Zielland., zzgl. Versandkosten Details... |
2006, ISBN: 9783540329237
Formal Models of Communicating Systems - Languages Automata and Monadic Second-Order Logic. Auflage 2006: ab 53.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer-Verlag G… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
ISBN: 9783540329237
Formal Models of Communicating Systems - Languages Automata and Monadic Second-Order Logic: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer-Verlag GmbH eBook als pdf, … Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
ISBN: 9783540329237
Formal Models of Communicating Systems - Languages Automata and Monadic Second-Order Logic: ab 82.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer-Verlag GmbH eBook als pdf, … Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
2006, ISBN: 9783540329237
Languages, Automata, and Monadic Second-Order Logic, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2006
lehmanns.de Versandkosten:Does not ship to your country., zzgl. Versandkosten Details... |
ISBN: 9783540329237
*Formal Models of Communicating Systems* - Languages Automata and Monadic Second-Order Logic / pdf eBook für 53.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Medie… Mehr…
2006, ISBN: 9783540329237
Formal Models of Communicating Systems - Languages Automata and Monadic Second-Order Logic. Auflage 2006: ab 53.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer-Verlag G… Mehr…
ISBN: 9783540329237
Formal Models of Communicating Systems - Languages Automata and Monadic Second-Order Logic: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer-Verlag GmbH eBook als pdf, … Mehr…
ISBN: 9783540329237
Formal Models of Communicating Systems - Languages Automata and Monadic Second-Order Logic: ab 82.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer-Verlag GmbH eBook als pdf, … Mehr…
2006, ISBN: 9783540329237
Languages, Automata, and Monadic Second-Order Logic, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2006
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Models of Communicating Systems
EAN (ISBN-13): 9783540329237
Erscheinungsjahr: 2006
Herausgeber: Springer-Verlag GmbH
182 Seiten
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-09-22T23:32:08+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-07T16:43:30+01:00 (Zurich)
ISBN/EAN: 9783540329237
ISBN - alternative Schreibweisen:
978-3-540-32923-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: böll, benedikt well, böhm
Titel des Buches: formal languages, systems
Daten vom Verlag:
Autor/in: Benedikt Bollig
Titel: Formal Models of Communicating Systems - Languages, Automata, and Monadic Second-Order Logic
Verlag: Springer; Springer Berlin
181 Seiten
Erscheinungsjahr: 2006-09-08
Berlin; Heidelberg; DE
Sprache: Englisch
55,00 € (DE)
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Asynchronous cellular automata; Communicating systems; Finite automata; Finite-state machines; Formal methods; Graphs; Logic; Mazurkiewicz traces; Message sequence charts; Software engineering; automata; automata theory; distributed systems; modeling; algorithm analysis and problem complexity; B; Theory of Computation; Software Engineering; Algorithms; Formal Languages and Automata Theory; Computer Communication Networks; Computer Science; Software Engineering; Algorithmen und Datenstrukturen; Netzwerk-Hardware; BC
Preliminaries.- Graphs, Logics, and Graph Acceptors.- Words and Finite Automata.- Dags and Asynchronous Cellular Automata.- Mazurkiewicz Traces and Asynchronous Automata.- Message Sequence Charts.- Communicating Finite-State Machines.- Beyond Implementability.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783642069475 Formal Models of Communicating Systems (Benedikt Bollig)
< zum Archiv...