Temporal Verification of Reacti...
Paperback
Published 22 Aug 2012
Save $5.11
- RRP $122.13
- $117.02
Search for "Amir Pnueli"
10 results
-
$5.11off
-
$15.09off
Temporal Verification of Reacti...
Hardback
Published 04 Aug 1995Save $15.09
- RRP $122.13
- $107.04
-
$9.47off
Hybrid Systems
Paperback
Published 18 Mar 2003Save $9.47
- RRP $122.13
- $112.66
-
$5.58off
Perspectives of Systems Informa...
Paperback
Published 08 Feb 2010Save $5.58
- RRP $61.06
- $55.48
-
$10.60off
Verification of Sequential and ...
Paperback
Published 14 Mar 2012Save $10.60
- RRP $94.99
- $84.39
-
$6.94off
Compositionality
Paperback
Published 18 Dec 1998Save $6.94
- RRP $122.13
- $115.19
-
$0.58off
Temporal Logic in Specification
Paperback
Published 11 Oct 1989Save $0.58
- RRP $61.06
- $60.48
-
Logic And Software Engineering ...
Hardback
Published 01 Oct 1996 -
The Temporal Logic of Reactive ...
Hardback
Published 31 Jan 1992 -
Perspectives of Systems Informa...