Lecture Notes in Computer Science / Theoretical Computer Sci: Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 201

Name: Lecture Notes in Computer Science / Theoretical Computer Sci: Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 201
Author: Tiziana Margaria; Bernhard Steffen
ISBN: 9783642165573

Tiziana Margaria; Bernhard Steffen
Springer
9783642165573
3-642-16557-5

BOOKSTORE			TOTAL
	{{condition}}	{{price}} + {{shipping}} s/h
This book is currently reported out of stock for sale, but WorldCat can help you find it in your local library: