MPG.eBooks - Search Results - "Computer Science"

Cover Image

1

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

2

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

by Graf, Susanne
Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer science...”