Modelling Distributed Systems - gebunden oder broschiert
2007, ISBN: 3540739378
2007 Gebundene Ausgabe Distributed Data Processing, Informationssystem / Verteiltes System, Verteiltes System (EDV), Software Engineering, Theoretische Informatik, Systemanalyse und -de… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Modelling Distributed Systems - gebunden oder broschiert
2007, ISBN: 3540739378
2007 Gebundene Ausgabe Distributed Data Processing, Informationssystem / Verteiltes System, Verteiltes System (EDV), Software Engineering, Theoretische Informatik, Systemanalyse und -de… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Modelling Distributed Systems 2007 - gebrauchtes Buch
2007, ISBN: 9783540739371
2007 Neubindung, Buchrücken leicht angestossen, Ausgabe 2007 3869179/12 Versandkostenfreie Lieferung computer,verification,distributed systems,Algorithms,modeling,algorithm,computer scien… Mehr…
buchfreund.de |
Modelling Distributed Systems. (=Texts in Theoretical Computer Science). - gebunden oder broschiert
ISBN: 9783540739371
VIII, 151 S.; Ill. Hardcover, [PU: Springer, Berlin/Heidelberg]
Antikbuch24.de |
Modelling Distributed Systems - gebunden oder broschiert
ISBN: 9783540739371
hardback, [PU: Springer, Berlin/Heidelberg]
Blackwells.co.uk |
Modelling Distributed Systems - gebunden oder broschiert
2007, ISBN: 3540739378
2007 Gebundene Ausgabe Distributed Data Processing, Informationssystem / Verteiltes System, Verteiltes System (EDV), Software Engineering, Theoretische Informatik, Systemanalyse und -de… Mehr…
Fokkink, Wan:
Modelling Distributed Systems - gebunden oder broschiert2007, ISBN: 3540739378
2007 Gebundene Ausgabe Distributed Data Processing, Informationssystem / Verteiltes System, Verteiltes System (EDV), Software Engineering, Theoretische Informatik, Systemanalyse und -de… Mehr…
Modelling Distributed Systems 2007 - gebrauchtes Buch
2007
ISBN: 9783540739371
2007 Neubindung, Buchrücken leicht angestossen, Ausgabe 2007 3869179/12 Versandkostenfreie Lieferung computer,verification,distributed systems,Algorithms,modeling,algorithm,computer scien… Mehr…
Modelling Distributed Systems. (=Texts in Theoretical Computer Science). - gebunden oder broschiert
ISBN: 9783540739371
VIII, 151 S.; Ill. Hardcover, [PU: Springer, Berlin/Heidelberg]
Modelling Distributed Systems - gebunden oder broschiert
ISBN: 9783540739371
hardback, [PU: Springer, Berlin/Heidelberg]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Modelling Distributed Systems
EAN (ISBN-13): 9783540739371
ISBN (ISBN-10): 3540739378
Gebundene Ausgabe
Erscheinungsjahr: 2007
Herausgeber: Springer-Verlag/Sci-Tech/Trade
156 Seiten
Gewicht: 0,413 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-07-01T04:30:09+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-18T14:06:16+01:00 (Vienna)
ISBN/EAN: 3540739378
ISBN - alternative Schreibweisen:
3-540-73937-8, 978-3-540-73937-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wan
Titel des Buches: computer systems, theoretical computer science, distributed systems, modelling
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: 2007-09-26
Berlin; Heidelberg; DE
Sprache: Englisch
54,99 € (DE)
BB; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Informatik; 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; EA; BC
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:
9783642093210 Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) (Fokkink, Wan)
< zum Archiv...