Items related to Formal Aspects of Component Software: 7th International...
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers: 6921 (Lecture Notes in Computer Science, 6921) - Softcover
Synopsis
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, F.A.C.S. 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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Search results for Formal Aspects of Component Software: 7th International...
Stock Image
Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 305 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 11624578/12
Quantity: 1 available
Stock Image
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783642272684
Quantity: 10 available
Stock Image
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6921)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642272684_new
Quantity: Over 20 available
Seller Image
Formal Aspects of Component Software
Published by
Springer Berlin Heidelberg, 2012
ISBN 10: 3642272681
ISBN 13: 9783642272684
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Seller Inventory # 5055219
Quantity: Over 20 available
Stock Image
Formal Aspects of Component Software: 7th International Workshop, Facs 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers
Published by
Springer-Verlag New York Inc, 2012
ISBN 10: 3642272681
ISBN 13: 9783642272684
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 2012 edition. 315 pages. 9.30x6.10x0.70 inches. In Stock. Seller Inventory # x-3642272681
Quantity: 2 available
Stock Image
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6921)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020222987
Quantity: Over 20 available