Temporal Logic And State Systems

NOK 924,00
+ NOK 226,49 i frakt

Temporal Logic And State Systems

Solgt av:
  • product image

NOK 924,00

På lager
+ NOK 226,49 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

Temporal Logic And State Systems

Basic Concepts And Notions Of Logics.- Basic Propositional Linear Temporal Logic.- Extensions Of Ltl.- Expressiveness Of Propositional Linear Temporal Logics.- First-order Linear Temporal Logic.- State Systems.- Verification Of State Systems.- Verification Of Concurrent Programs.- Structured Specification.- Other Temporal Logics.- System Verification By Model Checking.
  • Fruugo-ID: 557249206-1125519046
  • ISBN: 9783642086809
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 226,49 - Levering mellom kl tir. 24 november 2026–tor. 26 november 2026

Sendes fra Storbritannia.

Retur

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur