bokomslag Temporal Logics in Computer Science: Finite-State Systems
Vetenskap & teknik

Temporal Logics in Computer Science: Finite-State Systems

Stephane Demri Valentin Goranko Martin Lange

Inbunden

1059:- (1339:-)

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Hos dig inom 7-11 arbetsdagar

Fri frakt vid köp över 99:- för medlemmar.

  • 752 sidor
  • 2016
  • Serie: CAMBRIDGE TRACTS IN THEORETICA
  • Författare: Stephane Demri, Valentin Goranko, Martin Lange
  • Format: Inbunden
  • ISBN: 9781107028364
  • Språk: Engelska
  • Antal sidor: 752
  • Utgivningsdatum: 2016-10-13
  • Del i serien: CAMBRIDGE TRACTS IN THEORETICA
  • Förlag: Cambridge University Press

för att se lokala öppettider, evenemang och personalens tips.

Idag