De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Topology in Process Calculus

- 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.
  • 16. december 2024
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: