Hojjat - Fundamentals of Software Engineering 10th International Con - X555z

Caltais - Model Checking Software 29th International Symposium SPIN - X555z

Lot Of 2 Vintage Match Play And The Spin Of The Ball / Bill Tilden HC & PB 1969

Agent-Oriented Software Engineering X: 10th International Workshop, AOSE 2009, B

Caltais - Model Checking Software 29th International Symposium SPIN - X555z

Remke - Stochastic Model Checking International Autumn School ROCKS - X555z

Model Checking Software 18th International SPIN Workshop Snowbird

Moriai - Fast Software Encryption 20th International Workshop FSE 2 - X555z