Colin Stirling – författare
Visar alla böcker från författaren Colin Stirling. Handla med fri frakt och snabb leverans.
4 produkter
Modal and Temporal Properties of Processes
Inbunden, 2001
551 kr
Lägg i varukorg
Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited …
Modal and Temporal Properties of Processes
Häftad, 2011
552 kr
Lägg i varukorg
Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited …
Modal and Temporal Properties of Processes
E-bok, 2013
718 kr
Lägg i varukorg
Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited …
