Topology in Process Calculus | Buch, Verlag und Erscheinungsjahr

Topology in Process Calculus im Überblick

Topology in Process Calculus von Mingsheng Ying ist ein Titel aus dem Bereich Sachbuch, der thematisch klar positioniert ist und für Leserinnen und Leser mit Interesse an diesem Fach- oder Themengebiet besonders relevant sein kann. Approximate Correctness and Infinite Evolution of Concurrent Programs fungiert als präzisierende Ergänzung zu Topology in Process Calculus und macht die Zielsetzung des Buches schneller erfassbar. Bibliografisch ist Topology in Process Calculus mit dem Erscheinungsdatum 2001, dem Verlag Springer New York und dem Ort New York, NY erfasst.

Relevante Merkmale auf einen Blick

Dass Topology in Process Calculus in Deutsch erschienen ist, erleichtert die gezielte Auswahl für sprachspezifische Recherchen. Für Recherchen nach Veröffentlichungszeitraum ist Topology in Process Calculus mit dem Datum 2001 eindeutig zuordenbar. Wer Literatur aus dem Bereich Sachbuch sucht, findet in Topology in Process Calculus einen gut klassifizierbaren Titel. Gerade wer nach Werken von Mingsheng Ying sucht, sollte Topology in Process Calculus näher betrachten. Mit Springer New York in New York, NY ist die verlegerische Zuordnung der Ausgabe klar nachvollziehbar.

Inhalte, Themen und Relevanz

Für die thematische Suche und semantische Zuordnung sind insbesondere diese Tags relevant: Beweis, Korrektheit, Bisimulation, Prozessalgebra, Paralleles Programm

Wichtige Kennzeichen dieser Ausgabe

Die verlegerische und zeitliche Einordnung wird durch Springer New York, New York, NY und 2001 präzise ergänzt. Die Kombination aus ISBN-10 1461301238 und ISBN-13 9781461301233 ermöglicht eine besonders präzise bibliografische Zuordnung. Auch externe Referenzen sind vorhanden: Die Work-ID lautet OL19907384W, die zugehörigen Editions-IDs sind OL27092373M.

Bibliografische Daten auf einen Blick

1. Ausgabeform: physical
2. ISBN-13: 9781461301233
3. Verfügbare Sprache dieser Ausgabe: Deutsch
4. Buchtitel: Topology in Process Calculus
5. Ort der Veröffentlichung: New York, NY
6. Open-Library-Editions-IDs: OL27092373M
7. Internationale Standardbuchnummer (ISBN-10): 1461301238
8. Erscheinungsdatum: 2001
9. Thematische Tags: Beweis, Korrektheit, Bisimulation, Prozessalgebra, Paralleles Programm
10. Open-Library-Work-ID: OL19907384W
11. Primäre Kategorie: Sachbuch
12. Ergänzender Titelzusatz: Approximate Correctness and Infinite Evolution of Concurrent Programs
13. Publiziert bei: Springer New York
14. Verfasst von: Mingsheng Ying

Suchrelevante Merkmale dieser Ausgabe

Topology in Process Calculus profitiert für die Auffindbarkeit besonders von der Verbindung zwischen Mingsheng Ying, Sachbuch und den Tags Beweis, Korrektheit, Bisimulation, Prozessalgebra, Paralleles Programm, weil dadurch eine starke semantische Einordnung entsteht. Eindeutige Referenzdaten wie 1461301238, 9781461301233 und OL19907384W verbessern die bibliografische Verlässlichkeit zusätzlich.

Häufige Fragen zu Topology in Process Calculus

Hier findest du weitere ausgewählte Links.