Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Models, Algorithms, Logics and Tools

Models, Algorithms, Logics and Tools

- Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

del av Theoretical Computer Science and General Issues-serien

del av Lecture Notes in Computer Science-serien

Models, Algorithms, Logics and Tools
Om Models, Algorithms, Logics and Tools

During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319631202
  • Format:
  • Häftad
  • Sidor:
  • 662
  • Utgiven:
  • 25. juli 2017
  • Utgåva:
  • 12017
  • Mått:
  • 155x235x0 mm.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

Beskrivning av Models, Algorithms, Logics and Tools

During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.

Användarnas betyg av Models, Algorithms, Logics and Tools



Andra köpte även...
Hitta liknande böcker
Boken Models, Algorithms, Logics and Tools 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.