Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Models, Algorithms, Logics and Tools

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

Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783319631202
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 662
  • Veröffentlicht:
  • 25. Juli 2017
  • Ausgabe:
  • 12017
  • Abmessungen:
  • 155x235x0 mm.
  Versandkostenfrei
  Sofort lieferbar
Verlängerte Rückgabefrist bis 31. Januar 2025

Beschreibung von 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.

Kund*innenbewertungen von Models, Algorithms, Logics and Tools



Ähnliche Bücher finden
Das Buch Models, Algorithms, Logics and Tools ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.