Liknande böcker

Static Analysis : 17th International Symposium, SAS 2010, Perpignan, Fra...
Bok av Radhia. Cousot
Formal Methods and Software Engineering : 17th International Conference...
Bok av Michael Butler
Foundations of Software Science and Computational Structures : 13th Inte...
Bok av Luke. Ong
Computational Logic in Multi-Agent Systems : 9th International Workshop,...
Bok av Michael. Fisher
Testing Software and Systems : 22nd IFIP WG 6.1 International Conference...
Bok av Alexandre. Petrenko
Integrated Formal Methods : 11th International Conference, IFM 2014, Ber...
Bok av Elvira. Albert
Fundamental Approaches to Software Engineering : 18th International Conf...
Bok av Alexander. Egyed
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Sha...
Bok av Kazunori. Ueda

Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

Bok av Jaco. Pol