Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking

Piterman, Nir

ISBN 10: 3838322061 ISBN 13: 9783838322063
Editore: LAP Lambert Academic Publishing, 2010
Lingua: Inglese
Condizione: Like New Brossura

Da Mispah books, Redhill, SURRE, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Venditore AbeBooks dal 15 aprile 2021

Visualizza gli articoli del venditore


Usato - Brossura

Prezzo: EUR 108,75 Convertire valuta
EUR 29,66 per la spedizione da Regno Unito a Italia Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungere al carrello