|
|
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Lecture Notes in Computer Science)
Bernd Fischer
Taschenbuch. Springer 2015-09-03.
ISBN 9783319234038
|
|
|
Handle fra Bokshop.no
|
Flere bøker av Bernd Fischer
Liknende bøker
Anmelde boken
Skriv en anmeldelse, og del dine synspunkter med andre. Prøv å fokusere på bokens innhold. Les våre instruksjoner for mer informasjon.
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Bokanmeldelser » Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Lecture Notes in Computer Science)
|
|
|
|
|
|
|