- 5 Résultats
prix le plus bas: € 53,49, prix le plus élevé: € 82,49, prix moyen: € 65,07
1
Formal Models of Communicating Systems - Benedikt Bollig
Commander
sur Hugendubel.de
€ 53,49
CommanderLien sponsorisé
Benedikt Bollig:

Formal Models of Communicating Systems - nouveau livre

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… Plus…

Frais d'envoiKein Versand in Ihr Zielland., Livraison non-comprise
2
Formal Models of Communicating Systems - Benedikt Bollig
Commander
sur eBook.de
€ 53,49
Envoi: € 0,001
CommanderLien sponsorisé

Benedikt Bollig:

Formal Models of Communicating Systems - nouveau livre

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… Plus…

Frais d'envoiin stock, , , DE. (EUR 0.00)
3
Formal Models of Communicating Systems - Benedikt Bollig
Commander
sur eBook.de
€ 53,49
Envoi: € 0,001
CommanderLien sponsorisé
Benedikt Bollig:
Formal Models of Communicating Systems - nouveau livre

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, … Plus…

Frais d'envoiin stock, , , DE. (EUR 0.00)
4
Formal Models of Communicating Systems - Benedikt Bollig
Commander
sur eBook.de
€ 82,49
Envoi: € 0,001
CommanderLien sponsorisé
Benedikt Bollig:
Formal Models of Communicating Systems - nouveau livre

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, … Plus…

Frais d'envoiin stock, , , DE. (EUR 0.00)
5
Formal Models of Communicating Systems - Benedikt Bollig
Commander
sur lehmanns.de
€ 82,38
CommanderLien sponsorisé
Benedikt Bollig:
Formal Models of Communicating Systems - Première édition

2006, ISBN: 9783540329237

Languages, Automata, and Monadic Second-Order Logic, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2006

Frais d'envoiDoes not ship to your country., Livraison non-comprise

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre

Informations détaillées sur le livre - Formal Models of Communicating Systems


EAN (ISBN-13): 9783540329237
Date de parution: 2006
Editeur: Springer-Verlag GmbH
182 Pages
Langue: eng/Englisch

Livre dans la base de données depuis 2008-09-22T23:32:08+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-02-07T16:43:30+01:00 (Zurich)
ISBN/EAN: 9783540329237

ISBN - Autres types d'écriture:
978-3-540-32923-7
Autres types d'écriture et termes associés:
Auteur du livre: böll, benedikt well, böhm
Titre du livre: formal languages, systems


Données de l'éditeur

Auteur: Benedikt Bollig
Titre: Formal Models of Communicating Systems - Languages, Automata, and Monadic Second-Order Logic
Editeur: Springer; Springer Berlin
181 Pages
Date de parution: 2006-09-08
Berlin; Heidelberg; DE
Langue: Anglais
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.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783642069475 Formal Models of Communicating Systems (Benedikt Bollig)


< pour archiver...