Buy Used and New TizianaMargaria Books

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)

by

ISBN 13: 9783540896470

Format: Paperback (737 pages)
Publisher: Springer
Published: 13 Nov 2008

Save for later