Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, ... in Computer and Information Science)
by
ISBN 13: 9783540884781
Format: Paperback (708 pages) Publisher: Springer Published: 14 Oct 2008
Save for later
Service-Oriented Computing - ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540896470
Format: Paperback (737 pages) Publisher: Springer Published: 13 Nov 2008
Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)
ISBN 13: 9780387724959
Format: Hardcover (312 pages) Publisher: Springer Published: 09 Dec 2008