Communications in Computer and Informati Formal Techniques for Safety-Critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015, Book 596, (Paperback)
(No ratings yet)
Key item features
- Communications in Computer and Informati Formal Techniques for Safety-Critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015, Book 596, (Paperback)
- Author: Springer
- ISBN: 9783319295091
- Format: Paperback
- Publication Date: 2016-02-03
- Page Count: 271
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateFebruary, 2016
- Pages271
- SubgenreProgramming
Current price is USD$61.07
Price when purchased online
- Free shipping
Free 30-day returns
How do you want your item?
Ships to
Arrives by Tue, May 26
|
Sold and shipped by thebookpros
4.457808414547183 stars out of 5, based on 4207 seller reviews(4.5)4207 seller reviews
Free 30-day returns
More seller options (1)
Starting from $60.29
About this item
Product details
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.
The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.
The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.
- Communications in Computer and Informati Formal Techniques for Safety-Critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015, Book 596, (Paperback)
- Author: Springer
- ISBN: 9783319295091
- Format: Paperback
- Publication Date: 2016-02-03
- Page Count: 271
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
February, 2016
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Computational Methods in Systems Biology: International Conference Cmsb 2004, Paris, France, May 26-28, 2004, Revised Se, (Paperback) $54.99
$5499current price $54.99Computational Methods in Systems Biology: International Conference Cmsb 2004, Paris, France, May 26-28, 2004, Revised Se, (Paperback)
Communications in Computer and Informati Formal Techniques for Safety-Critical Systems: Second International Workshop, Ftscs 2013, Queenstown, New Zealand, Octob, Book 419, (Paperback) $62.38
$6238current price $62.38Communications in Computer and Informati Formal Techniques for Safety-Critical Systems: Second International Workshop, Ftscs 2013, Queenstown, New Zealand, Octob, Book 419, (Paperback)
Advances in Learning Classifier Systems: Third International Workshop, Iwlcs 2000, Paris, France, September 15-16, 2000., (Paperback) $54.99
$5499current price $54.99Advances in Learning Classifier Systems: Third International Workshop, Iwlcs 2000, Paris, France, September 15-16, 2000., (Paperback)
Communications in Computer and Informati Information Search, Integration, and Personlization: 11th International Workshop, Isip 2016, Lyon, France, November 1-4,, Book 760, (Paperback) $63.29
$6329current price $63.29Communications in Computer and Informati Information Search, Integration, and Personlization: 11th International Workshop, Isip 2016, Lyon, France, November 1-4,, Book 760, (Paperback)
Formal Aspects of Component Software: 13th International Conference, Facs 2016, Besançon, France, October 19-21, 2016, R, (Paperback) $60.29
$6029current price $60.29Formal Aspects of Component Software: 13th International Conference, Facs 2016, Besançon, France, October 19-21, 2016, R, (Paperback)
Practical Aspects of Declarative Languages: 7th International Symposium, Padl 2005, Long Beach, Ca, Usa, January 10-11, , (Paperback) $56.14
$5614current price $56.14Practical Aspects of Declarative Languages: 7th International Symposium, Padl 2005, Long Beach, Ca, Usa, January 10-11, , (Paperback)
Knowledge Acquisition for Knowledge-Based Systems: 7th European Workshop, Ekaw'93, Toulouse and Caylus, France, Septembe, (Paperback) $65.37
$6537current price $65.37Knowledge Acquisition for Knowledge-Based Systems: 7th European Workshop, Ekaw'93, Toulouse and Caylus, France, Septembe, (Paperback)
Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Third International Workshop, Sfcm 2013, Berlin, Germany, September, Book 380, (Paperback) $60.71
$6071current price $60.71Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Third International Workshop, Sfcm 2013, Berlin, Germany, September, Book 380, (Paperback)
Constructive Side-Channel Analysis and Secure Design: 8th International Workshop, Cosade 2017, Paris, France, April 13-1, (Paperback) $62.45
$6245current price $62.45Constructive Side-Channel Analysis and Secure Design: 8th International Workshop, Cosade 2017, Paris, France, April 13-1, (Paperback)
Algorithms in Bioinformatics: 13th International Workshop, Wabi 2013, Sophia Antipolis, France, September 2-4, 2013. Pro, (Paperback) $56.14
$5614current price $56.14Algorithms in Bioinformatics: 13th International Workshop, Wabi 2013, Sophia Antipolis, France, September 2-4, 2013. Pro, (Paperback)
Constructive Side-Channel Analysis and Secure Design: 5th International Workshop, Cosade 2014, Paris, France, April 13-1, (Paperback) $60.29
$6029current price $60.29Constructive Side-Channel Analysis and Secure Design: 5th International Workshop, Cosade 2014, Paris, France, April 13-1, (Paperback)
Software Engineering and Formal Methods: 12th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, (Paperback) $64.04
$6404current price $64.04Software Engineering and Formal Methods: 12th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, (Paperback)
Lecture Notes in Computer Science Multiple Classifier Systems: 4th International Workshop, MCS 2003, Guilford, Uk, June 11-13, 2003, Proceedings, Book 2709, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Multiple Classifier Systems: 4th International Workshop, MCS 2003, Guilford, Uk, June 11-13, 2003, Proceedings, Book 2709, (Paperback)
Communications in Computer and Informati Cyber Security: Second International Symposium, CSS 2015, Coeur d'Alene, Id, Usa, April 7-8, 2015, Revised Selected Pape, Book 589, (Paperback) $56.14
$5614current price $56.14Communications in Computer and Informati Cyber Security: Second International Symposium, CSS 2015, Coeur d'Alene, Id, Usa, April 7-8, 2015, Revised Selected Pape, Book 589, (Paperback)
Service-Oriented Computing: 12th International Conference, Icsoc 2014, Paris, France, November 3-6, 2014, Proceedings, (Paperback) $54.99
$5499current price $54.99Service-Oriented Computing: 12th International Conference, Icsoc 2014, Paris, France, November 3-6, 2014, Proceedings, (Paperback)
Lecture Notes in Computer Science Next Generation Information Technologies and Systems: 5th International Workshop, Ngits 2002, Caesarea, Israel, June 24-, Book 2382, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Next Generation Information Technologies and Systems: 5th International Workshop, Ngits 2002, Caesarea, Israel, June 24-, Book 2382, (Paperback)
Foundations of Intelligent Systems: 22nd International Symposium, Ismis 2015, Lyon, France, October 21-23, 2015, Proceed, (Paperback) $54.99
$5499current price $54.99Foundations of Intelligent Systems: 22nd International Symposium, Ismis 2015, Lyon, France, October 21-23, 2015, Proceed, (Paperback)
Fundamentals of Artificial Intelligence Research: International Workshop Fair '91, Smolenice, Czechoslovakia, September , (Paperback) $60.29
$6029current price $60.29Fundamentals of Artificial Intelligence Research: International Workshop Fair '91, Smolenice, Czechoslovakia, September , (Paperback)
NATO Asi Subseries F: Human-Machine Communication for Educational Systems Design, Book 129, (Paperback) $60.29
$6029current price $60.29NATO Asi Subseries F: Human-Machine Communication for Educational Systems Design, Book 129, (Paperback)
Agent Environments for Multi-Agent Systems IV: 4th International Workshop, E4mas 2014 - 10 Years Later, Paris, France, M, (Paperback) $65.03
$6503current price $65.03Agent Environments for Multi-Agent Systems IV: 4th International Workshop, E4mas 2014 - 10 Years Later, Paris, France, M, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
