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. Temporal Logic

Temporal Logic

- First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

del av Lecture Notes in Computer Science-serien

del av Lecture Notes in Artificial Intelligence-serien

Temporal Logic
Om Temporal Logic

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds;

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783540582410
  • Format:
  • Häftad
  • Sidor:
  • 551
  • Utgiven:
  • 29. juni 1994
  • Utgåva:
  • 1994
  • Mått:
  • 155x235x29 mm.
  • Vikt:
  • 1740 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 19. december 2024
Förlängd ångerrätt till 31. januari 2025

Beskrivning av Temporal Logic

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds;

Användarnas betyg av Temporal Logic



Andra köpte även...
Hitta liknande böcker
Boken Temporal Logic 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.