Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking
Piterman, Nir
Da Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Venditore AbeBooks dal 15 aprile 2021
Usato - Brossura
Quantità: 1 disponibili
Aggiungere al carrello