Mettre en vente
Se connecter
Aide
9 résultats
The Temporal Logic Of Reactive And Concurrent Systems : Specification
Voir le produit
Vendez le vôtre
Mathematical Theory Of Computation
Temporal Verification Of Reactive Systems
The Temporal Logic Of Reactive And Concurrent Systems
The Calculus Of Computation
The Calculus Of Computation: Decision Procedures With Applications To Verification
Lectures On The Logic Of Computer Programming
The Logical Basis For Computer Programming, Volume 1