Temporal Logic And State Systems

CHF 84.00
+ CHF 15.49 Spedizione

Temporal Logic And State Systems

Venduto da:
  • product image

CHF 84.00

Disponibile
+ CHF 15.49 Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

Dettagli del prodotto

Dettagli del prodotto

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.
  • Marchio: Springer Nature B.V
  • Categoria: Computer e internet
  • Autore: Fred Krger
  • Numero di pagine: 448
  • Casa editrice/Casa discografica: Springer Nature B.V
  • Lingua: English
  • Data di pubblicazione: 2010-11-25
  • Formato: Paperback
  • ID Fruugo: 557249206-1125519046
  • ISBN: 9783642086809
Consegna

Consegna

Spedito entro 24 ore

  • STANDARD: CHF 15.49 - Consegna tra ven 13 novembre 2026–mar 17 novembre 2026

Spedizione da Regno Unito.

Resi

Resi

Facciamo del nostro meglio per assicurare che i prodotti che ordini vengano consegnati integralmente e secondo le tue indicazioni. Tuttavia, nel caso dovessi ricevere un ordine incompleto, oppure articoli differenti rispetto a quelli che hai ordinato, o se c'è qualche altro motivo per il quale non sei soddisfatto dell'ordine, puoi effettuare il reso dell'ordine, o qualsiasi prodotto incluso nell'ordine e ricevere un rimborso completo per gli articoli.

Visualizza la politica di reso completa