Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch
2010, ISBN: 9783642093210
Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 164 Seiten, Publiziert: 2010-11-18T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 7 black & white tables, bio… Mehr…
Amazon.de (Intern... ausverkauf Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch
2010, ISBN: 9783642093210
Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 164 Seiten, Publiziert: 2010-11-18T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 7 black & white tables, bio… Mehr…
Amazon.de (Intern... Prestivo2 Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch
2010, ISBN: 9783642093210
Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 164 Seiten, Publiziert: 2010-11-18T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 7 black & white tables, bio… Mehr…
Amazon.de (Intern... ausverkauf Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9783642093210
Gebundene Ausgabe
Softcover reprint of hardcover 1st ed. 2007 Gepflegter, sauberer Zustand. 9902075/2 Versandkostenfreie Lieferung Algorithms,formal verification,computer science,modeling,distributed syste… Mehr…
buchfreund.de |
2010, ISBN: 9783642093210
Gebundene Ausgabe
[PU: Springer Berlin], Gepflegter, sauberer Zustand. 9902075/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, Softcover reprint of hardcover 1st ed. 2007, Banküberweisung, Kr… Mehr…
booklooker.de |
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch
2010, ISBN: 9783642093210
Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 164 Seiten, Publiziert: 2010-11-18T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 7 black & white tables, bio… Mehr…
Fokkink, Wan:
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch2010, ISBN: 9783642093210
Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 164 Seiten, Publiziert: 2010-11-18T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 7 black & white tables, bio… Mehr…
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch
2010
ISBN: 9783642093210
Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 164 Seiten, Publiziert: 2010-11-18T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 7 black & white tables, bio… Mehr…
2010, ISBN: 9783642093210
Gebundene Ausgabe
Softcover reprint of hardcover 1st ed. 2007 Gepflegter, sauberer Zustand. 9902075/2 Versandkostenfreie Lieferung Algorithms,formal verification,computer science,modeling,distributed syste… Mehr…
2010, ISBN: 9783642093210
Gebundene Ausgabe
[PU: Springer Berlin], Gepflegter, sauberer Zustand. 9902075/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, Softcover reprint of hardcover 1st ed. 2007, Banküberweisung, Kr… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
EAN (ISBN-13): 9783642093210
ISBN (ISBN-10): 3642093213
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer
164 Seiten
Gewicht: 0,258 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2011-08-04T12:00:21+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-04-17T10:21:02+02:00 (Vienna)
ISBN/EAN: 9783642093210
ISBN - alternative Schreibweisen:
3-642-09321-3, 978-3-642-09321-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wan
Titel des Buches: wan, distributed systems, computer systems
Daten vom Verlag:
Autor/in: Wan Fokkink
Titel: Texts in Theoretical Computer Science. An EATCS Series; Modelling Distributed Systems
Verlag: Springer; Springer Berlin
154 Seiten
Erscheinungsjahr: 2010-11-18
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
54,99 € (DE)
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Algorithms; algorithm; computer; computer science; distributed systems; formal verification; modeling; semantics; verification; Computer System Implementation; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Symbolic and Algebraic Manipulation; Software Engineering; Theory of Computation; Theoretische Informatik; Mathematik für Informatiker; Software Engineering; BB
Abstract Data Types.- Process Algebra.- Hiding Internal Transitions.- Protocol Specifications.- Linear Process Equations.- Verification Algorithms on State Spaces.- Symbolic Methods.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540739388 Modelling Distributed Systems (Wan Fokkink)
< zum Archiv...