Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Formal Techniques for Safety-Critical Systems Cyrille Artho
Libristo code: 02465622
Publishers Springer International Publishing AG, April 2014
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, hel... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Aimer son prochain, qu'en dit la Bible / Book Paperback
common.buy 12.89 €
Commentaire Du Code de Commerce: Droit Commercial. Livre1, Tit8, T2 BEDARRIDE-J / Book Paperback
common.buy 33.19 €
El Derecho Constitucional al buen gobierno local CLEMENTE MARTINEZ / Book Paperback
common.buy 58.39 €
Blue Shirt. Scars of Ice. Tom 2 Julia Popiel / Book Paperback
common.buy 13.09 €
Djento & Co TORINO / Book Paperback
common.buy 23.59 €
Debian GNU-Linux - services réseaux DUTREIX / Book Paperback
common.buy 48.59 €
Les géographes et le tiers temps - sports, loisirs, aménagements Book Paperback
common.buy 20.09 €
Bezaubernde Balladen und geistreiche Gedichte Gunter Blaschke / Book Paperback
common.buy 19.80 €
Sirotkův triumf Robert Buettner / Book Paperback
common.buy 7.79 €
Mehr als Clean Code Andreas Lennartz / Book Paperback
common.buy 13.90 €
P.A.E en la prevención de complicaciones cutáneas por encamamiento Rosti Gabriel Ortega Flores / Book Paperback
common.buy 46.59 €
Siguiendo Los Pasos de Cristo Luis Lorenzo Cortes García / Book Paperback
common.buy 23.29 €
Top
Horrorgeschichten Ambrose Bierce / Book Paperback
common.buy 10.00 €

This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Techniques for Safety-Critical Systems
Author Cyrille Artho, Peter Csaba Ölveczky
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 297
EAN 9783319054155
ISBN 3319054155
Libristo code 02465622
Publishers Springer International Publishing AG
Weight 4686
Dimensions 155 x 235 x 17

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Top
Clean Code Robert C. Martin / Book Paperback
common.buy 57.49 €
Chinese America Chalsa M. Loo / Book Paperback
common.buy 56.59 €
Educational Research: Why 'What Works' Doesn't Work Marc Depaepe / Book Paperback
common.buy 107.29 €
Hands-on Machine Learning with JavaScript Burak Kanber / Book Paperback
common.buy 51.39 €
Hagar: : Victorian Era Romance And Feminism (Aura Press) Mary Johnston / Book Paperback
common.buy 12.59 €
Top
Swim Technique Drills: 100 Drills and Workouts to Improve Swimming Efficiency Blythe Lucero / Book Paperback
common.buy 16.79 €
Billy and Rose: Just the Way They Are Kady Macdonald Denton / Book Paperback
common.buy 6.29 €
America, the Beautiful Level 5: Intermediate Katharine Lee Bates / Book Paperback
common.buy 7.49 €
Algebraic Structures of Neutrosophic Triplets, Neutrosophic Duplets, or Neutrosophic Multisets Florentin Smarandache / Book Paperback
common.buy 90.89 €
Remington Army and Navy Revolvers 1861-1888 Donald L. Ware / Book Hardback
common.buy 55.49 €
7 Secrets to Power Praying - How to Access God`s Wisdom and Miracles Every Day Jane Glenchur / Book Paperback
common.buy 19.09 €
Arise Sullivan / Book Hardback
common.buy 24.59 €
Numerology Up To Date: A Key To Your Fate Karen Adams / Book Hardback
common.buy 35.79 €
Breakthrough to CLIL for Physics Age 14+ Workbook David Sang / Book Paperback
common.buy 16.99 €
Are Liberty and Equality Compatible? Jan NarvesonJames P. Sterba / Book Paperback
common.buy 49.79 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?