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:
  • 9781461265221
  • Indbinding:
  • Paperback
  • Sideantal:
  • 220
  • Udgivet:
  • 28. oktober 2012
  • Udgave:
  • 12001
  • Størrelse:
  • 234x156x12 mm.
  • Vægt:
  • 361 g.
  • 8-11 hverdage.
  • 9. december 2024

Normalpris

  • BLACK WEEK

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.