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
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
20 413 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Aimer son prochain, qu'en dit la Bible / Book Paperback
common.buy 4 480 Ft
Commentaire Du Code de Commerce: Droit Commercial. Livre1, Tit8, T2 BEDARRIDE-J / Book Paperback
common.buy 11 667 Ft
El Derecho Constitucional al buen gobierno local CLEMENTE MARTINEZ / Book Paperback
common.buy 20 641 Ft
Blue Shirt. Scars of Ice. Tom 2 Julia Popiel / Book Paperback
common.buy 4 542 Ft
Djento & Co TORINO / Book Paperback
common.buy 8 268 Ft
Debian GNU-Linux - services réseaux DUTREIX / Book Paperback
common.buy 17 076 Ft
Les géographes et le tiers temps - sports, loisirs, aménagements Book Paperback
common.buy 7 007 Ft
Bezaubernde Balladen und geistreiche Gedichte Gunter Blaschke / Book Paperback
common.buy 7 097 Ft
Sirotkův triumf Robert Buettner / Book Paperback
common.buy 2 735 Ft
Mehr als Clean Code Andreas Lennartz / Book Paperback
common.buy 5 006 Ft
P.A.E en la prevención de complicaciones cutáneas por encamamiento Rosti Gabriel Ortega Flores / Book Paperback
common.buy 17 711 Ft
Siguiendo Los Pasos de Cristo Luis Lorenzo Cortes García / Book Paperback
common.buy 8 870 Ft
Top
Horrorgeschichten Ambrose Bierce / Book Paperback
common.buy 3 636 Ft

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 20 940 Ft
Chinese America Chalsa M. Loo / Book Paperback
common.buy 19 740 Ft
Educational Research: Why 'What Works' Doesn't Work Marc Depaepe / Book Paperback
common.buy 40 708 Ft
Hands-on Machine Learning with JavaScript Burak Kanber / Book Paperback
common.buy 19 451 Ft
Hagar: : Victorian Era Romance And Feminism (Aura Press) Mary Johnston / Book Paperback
common.buy 4 779 Ft
Top
Swim Technique Drills: 100 Drills and Workouts to Improve Swimming Efficiency Blythe Lucero / Book Paperback
common.buy 6 191 Ft
Billy and Rose: Just the Way They Are Kady Macdonald Denton / Book Paperback
common.buy 2 271 Ft
America, the Beautiful Level 5: Intermediate Katharine Lee Bates / Book Paperback
common.buy 2 569 Ft
Algebraic Structures of Neutrosophic Triplets, Neutrosophic Duplets, or Neutrosophic Multisets Florentin Smarandache / Book Paperback
common.buy 34 531 Ft
Remington Army and Navy Revolvers 1861-1888 Donald L. Ware / Book Hardback
common.buy 21 091 Ft
7 Secrets to Power Praying - How to Access God`s Wisdom and Miracles Every Day Jane Glenchur / Book Paperback
common.buy 7 230 Ft
Arise Sullivan / Book Hardback
common.buy 8 841 Ft
Numerology Up To Date: A Key To Your Fate Karen Adams / Book Hardback
common.buy 13 516 Ft
Breakthrough to CLIL for Physics Age 14+ Workbook David Sang / Book Paperback
common.buy 5 727 Ft
Are Liberty and Equality Compatible? Jan NarvesonJames P. Sterba / Book Paperback
common.buy 18 792 Ft

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?