Udvidet returret til d. 31. januar 2025

Topology in Process Calculus - Mingsheng Ying - Bog

- Approximate Correctness and Infinite Evolution of Concurrent Programs

Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780387950921
  • Indbinding:
  • Hardback
  • Sideantal:
  • 220
  • Udgivet:
  • 30. marts 2001
  • Udgave:
  • 2001
  • Størrelse:
  • 235x155x14 mm.
  • Vægt:
  • 1110 g.
  • 8-11 hverdage.
  • 5. december 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af 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.

Brugerbedømmelser af Topology in Process Calculus



Find lignende bøger
Bogen Topology in Process Calculus findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.