Skip to content

Leveraging Applications of Formal Methods, Verification and Validation: Third
Stock Photo: Cover May Be Different

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15, Paperback - 2008

by Tiziana Margaria (Editor); Bernhard Steffen (Editor)

From the rear cover

This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008

The 68 revised full papers presented together with 2 invited talks and 1 keynote speech were carefully selected from numerous submissions. The topics covered are tools and applications in industrial software quality control; an introduction of multi-core systems in automotive applications; model-driven SOA; applications of formal approaches to service-oriented computing; trustworthy computing: theories, methods, tools and experience in China and South East Asia; non-functional requirements in embedded systems; processes, methods and tools for developing educational modules to support teaching and technology transfer; ubiquitous and context aware systems; formal methods for analysing and verifying very large systems; tools for service-oriented discovery of knowledge; tackling the challenges of software development process for SMEs with rigorous support and open source.

Details

  • Title Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15,
  • Author Tiziana Margaria (Editor); Bernhard Steffen (Editor)
  • Binding Paperback
  • Edition Us Edition
  • Pages 869
  • Volumes 1
  • Language ENG
  • Publisher Springer, Berlin, Germany
  • Date 2008-10-14
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index, Table of Contents
  • ISBN 9783540884781 / 3540884785
  • Weight 2.7 lbs (1.22 kg)
  • Dimensions 9.4 x 6.1 x 1.3 in (23.88 x 15.49 x 3.30 cm)
  • Dewey Decimal Code 005.1

More Copies for Sale

Leveraging Applications of Formal Methods, Verification and Validation
Stock Photo: Cover May Be Different

Leveraging Applications of Formal Methods, Verification and Validation

  • Used
Condition
Used
ISBN 10 / ISBN 13
9783540884781 / 3540884785
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 96.42
SGD 5.48 shipping to USA

Show Details

Description:
Springer , pp. 884 . Papeback. Used.
Item Price
SGD 96.42
SGD 5.48 shipping to USA
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION
Stock Photo: Cover May Be Different

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION

by MARGARIA, TIZIANA; STEFFEN, BERNHARD ,

  • New
  • Paperback
  • first
Condition
New
Edition
1st
Binding
Paperback
ISBN 10 / ISBN 13
9783540884781 / 3540884785
Quantity Available
1
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 102.97
SGD 13.73 shipping to USA

Show Details

Description:
Springer, 2008. 1st. Paperback. New/New.
Item Price
SGD 102.97
SGD 13.73 shipping to USA