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

This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521616102
  • Indbinding:
  • Paperback
  • Sideantal:
  • 236
  • Udgivet:
  • 2. december 2004
  • Størrelse:
  • 188x245x17 mm.
  • Vægt:
  • 426 g.
  • 2-3 uger.
  • 11. december 2024
På lager

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 Predicate Transformer Semantics

This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.

Brugerbedømmelser af Predicate Transformer Semantics



Find lignende bøger
Bogen Predicate Transformer Semantics findes i følgende kategorier: