Topology in Process Calculus
- Approximate Correctness and Infinite Evolution of Concurrent Programs
- 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.
- 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
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Topology in Process Calculus findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621