Cover Image
Read Now

1
Published 2010
Springer London
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

3
Published 2003
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

4
Published 2005
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

6 Subjects: “...Computer science...”
Cover Image
Read Now

7
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...’ Properties — Classification and Relation to Computer Science -- Assertion-Based Analysis of Hybrid Systems...”