Marknadens största urval
Snabb leverans

Fields of Logic and Computation II

- Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Om Fields of Logic and Computation II

Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319235332
  • Format:
  • Häftad
  • Sidor:
  • 319
  • Utgiven:
  • 27. augusti 2015
  • Utgåva:
  • 12015
  • Mått:
  • 155x235x18 mm.
  • Vikt:
  • 5037 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 13. oktober 2025

Beskrivning av Fields of Logic and Computation II

Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more.

Användarnas betyg av Fields of Logic and Computation II



Hitta liknande böcker
Boken Fields of Logic and Computation II 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.