We Need Diverse Ya Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    The Powell's Playlist | June 15, 2015

    Matthew Quick: IMG Portia Kane's '80s Metal Mix



    Two of Love May Fail's main characters, Portia Kane and Chuck Bass — now in their early 40s — still love the metal music that was... Continue »
    1. $18.19 Sale Hardcover add to wish list

      Love May Fail

      Matthew Quick 9780062285560

    spacer
Qualifying orders ship free.
$219.00
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
1 Remote Warehouse Personal Computers- General

More copies of this ISBN

Other titles in the Communications in Computer and Information Science series:

Communications in Computer and Information Science #17: Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 1

by

Communications in Computer and Information Science #17: Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 1 Cover

 

Synopses & Reviews

Publisher Comments:

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.

Product Details

ISBN:
9783540884781
Author:
Margaria, Tiziana (edt)
Publisher:
Springer
Other:
Margaria, Tiziana
Editor:
Steffen, Bernhard
Editor:
Margaria, Tiziana
Author:
Margaria, Tiziana
Author:
Steffen, Bernhard
Location:
Berlin, Heidelberg
Subject:
Programming - Systems Analysis & Design
Subject:
Programming - Software Development
Subject:
Information technology
Subject:
Software Development & Engineering - Systems
Subject:
Software Development & Engineering - General
Subject:
Computer simulation
Subject:
Software Engineering-Systems Analysis and Design
Subject:
design patterns
Subject:
Formal Models
Subject:
Performance
Subject:
Process Modeling
Subject:
Reliability
Subject:
Requirements
Subject:
response-time
Subject:
Risk management
Subject:
timing analysis
Subject:
Ubiquitous computing
Subject:
Verification
Subject:
Software engineering
Subject:
Programming techniques
Subject:
Software Engineering/Programming and Operating Systems
Subject:
Models and Principles
Subject:
Simulation and Modeling
Subject:
System Performance and Evaluation
Subject:
Computer Science
Subject:
Language, literature and biography
Subject:
Computer system performance
Copyright:
Edition Description:
Book
Series:
Communications in Computer and Information Science
Series Volume:
17
Publication Date:
20081117
Binding:
TRADE PAPER
Language:
English
Illustrations:
Y
Pages:
728
Dimensions:
235 x 155 mm

Related Subjects

Computers and Internet » Computers Reference » Computer Simulation
Computers and Internet » Computers Reference » General
Computers and Internet » Internet » Information
Computers and Internet » Personal Computers » General
Computers and Internet » Software Engineering » Systems Analysis and Design
Engineering » Mechanical Engineering » General

Communications in Computer and Information Science #17: Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 1 New Trade Paper
0 stars - 0 reviews
$219.00 In Stock
Product details 728 pages Springer - English 9783540884781 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.