Formal Aspects of Component Software Image close
Formal Aspects of Component Software
Formal Aspects of Component Software
Show Hide Adult Content
Formal Aspects of Component Software close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Formal Aspects of Component Software

7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$151.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.75 with Afterpay Learn more

6 weekly interest-free payments of $25.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Integrated Formal Methods
$151.00
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$152.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
End-User Development
$151.00
End-User Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$151.00
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Object-Oriented Technology. ECOOP 2004 Workshop Reader
$149.00
Object-Oriented Technology. ECOOP 2004 Workshop Reader
Paperback / softback
Available - Usually ships in 3-4 weeks
Agile Processes in Software Engineering and Extreme Programming
$150.00
Agile Processes in Software Engineering and Extreme Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Agent-Oriented Software Engineering IX
$151.00
Agent-Oriented Software Engineering IX
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$151.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
ECOOP - Object-Oriented Programming
$302.00
ECOOP - Object-Oriented Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Architecture
$159.00
Software Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering Approaches for Offshore and Outsourced Development
$149.00
Software Engineering Approaches for Offshore and Outsourced...
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Graph Transformations with Industrial Relevance
$193.00
Applications of Graph Transformations with Industrial Relevance
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software: Theorie, Tools, Experiments
$153.00
Verified Software: Theorie, Tools, Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Foundations and Applications
$150.00
Modelling Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$156.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Embedded Systems Design
$297.00
Embedded Systems Design
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
Release date NZ
March 9th, 2012
Audience
  • Professional & Vocational
Contributors
  • Edited by Luis Soares Barbosa
  • Edited by Markus Lumpe
Illustrations
X, 305 p.
Pages
305
Dimensions
155x235x18
ISBN-13
9783642272684
Product ID
19499235

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Internet >
Network computers
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation