Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Topology in Process Calculus

- Approximate Correctness and Infinite Evolution of Concurrent Programs

Über Topology in Process Calculus

Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780387950921
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 220
  • Veröffentlicht:
  • 30. März 2001
  • Ausgabe:
  • 2001
  • Abmessungen:
  • 235x155x14 mm.
  • Gewicht:
  • 1110 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Topology in Process Calculus

Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.

Kund*innenbewertungen von Topology in Process Calculus



Ähnliche Bücher finden
Das Buch Topology in Process Calculus ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.