Marknadens största urval
Snabb leverans
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521616102
  • Format:
  • Häftad
  • Sidor:
  • 236
  • Utgiven:
  • 2. december 2004
  • Mått:
  • 188x245x17 mm.
  • Vikt:
  • 426 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

Beskrivning av 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.

Användarnas betyg av Predicate Transformer Semantics



Hitta liknande böcker
Boken Predicate Transformer Semantics finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.