MPG.eBooks - Search Results - "software"

Cover Image

1

Handbook of Model Checking

Published 2018

Springer International Publishing

Subjects: “...Software engineering...”

Cover Image

2

Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

3

Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Subjects: “...Software engineering...”