Temporal Logic: Volume 1
indgår i Oxford Logic Guides serien
indgår i Temporal Logic serien
- Indbinding:
- Hardback
- Sideantal:
- 668
- Udgivet:
- 21. juli 1994
- Størrelse:
- 163x246x44 mm.
- Vægt:
- 1214 g.
- 2-4 uger.
- 28. januar 2025
På lager
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 Temporal Logic: Volume 1
BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
Brugerbedømmelser af Temporal Logic: Volume 1
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 Temporal Logic: Volume 1 findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621