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

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Formal Techniques for Safety-Critical Systems Cyrille Artho
Libristo code: 09249874
Publishers Springer International Publishing AG, April 2015
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniq... Full description
? points 136 b
20 609 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Ciekawski George i jego sen MARGRET REY / Book Paperback
common.buy 1 230 Ft
BABADADA, slovenčina - Arabic (in arabic script), obrazkovy slovnik - visual dictionary (in arabic script) Babadada Gmbh / Book Paperback
common.buy 11 261 Ft
Dialogy s vnitřním kritikem Boleslav Keprt / Book Paperback
common.buy 5 222 Ft
El Derecho en Puerto Rico Fraticelli Torres / Book Paperback
common.buy 8 103 Ft
Mobilitätschancen für Lehrer in Deutschland und Europa Hermann Avenarius / Book Paperback
common.buy 7 528 Ft
Oeuvres Completes de Moliere. Tome 5. George Dandin. Moliere / Book Paperback
common.buy 13 267 Ft
Leselampe Flexilight Blue Words / Game/Toy Toy
common.buy 4 097 Ft
Die Politisierung Des Islam Wilfried Röhrich / Book Paperback
common.buy 5 738 Ft
Dynamique non linéaire de l'opération de perçage Amir Kessentini / Book Paperback
common.buy 15 042 Ft
Die Formeln der Erfolgreichsten - Teil 1 John Train / Book Paperback
common.buy 9 730 Ft
East Side Story Max Heinrichs / Book Paperback
common.buy 4 020 Ft
Les Pays Etrangers Et l'Exposition de 1878. La Russie Et l'Exposition de 1878, (Ed.1878) Louis Leger / Book Paperback
common.buy 8 801 Ft
Robert Frank: Away Robert Frank / Book Paperback
common.buy 12 750 Ft
Edle Liköre und feine Schnäpse selbst gemacht! Simone Edelberg / Book Hardback
common.buy 2 790 Ft

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 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 2015
Number of pages 257
EAN 9783319175805
ISBN 3319175807
Libristo code 09249874
Publishers Springer International Publishing AG
Weight 4102
Dimensions 155 x 235 x 14

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

Best Easy Day Hikes Death Valley National Park Bill Cunningham / Book Paperback
common.buy 5 829 Ft
Little Bells and Other Verses for Children Joyce Taylor / Book Hardback
common.buy 10 654 Ft
Aim Straight at the Fountain and Press Vaporize Elizabeth Marie Young / Book Paperback
common.buy 5 738 Ft
Foreign Relations of the United States, 1969-1976, Volume VIII, Vietnam, January-October 1972 John M. Carland / Book Hardback
common.buy 39 901 Ft
SemProM Wolfgang Wahlster / Book Paperback
common.buy 41 097 Ft
Doc Vincent M. Mallozzi / Book Hardback
common.buy 9 347 Ft
Scheduling Without Conflict Weldon Burge / Book Paperback
common.buy 22 690 Ft
Puppy Parenting in an Apartment Cassie Leigh / Book Paperback
common.buy 5 509 Ft
A Kayak is My Church Pew Patricia Carney / Book Paperback
common.buy 6 251 Ft
Top
Zeus Grants Stupid Wishes Cory OBrien / Book Paperback
common.buy 5 494 Ft
Top
Walking the Cape Wrath Trail Iain Harper / Book Paperback
common.buy 7 466 Ft
Snow Angels, Secrets and Christmas Cake SUE WATSON / Book Paperback
common.buy 5 054 Ft
Solo Jill Mansell / E-book Adobe ePub DRM
common.buy 2 824 Ft
Royal Air Force Pilot's Notes for Mosquito Marks FII and NFXII Royal Air Force / Book Paperback
common.buy 4 279 Ft
Clock Nick Hemsley / Book Paperback
common.buy 6 054 Ft
Liability of Certification Service Providers - How the Providers of Certification Services Related to Electronic Signatures Could Manage their Liabili George Dimitrov / Book Paperback
common.buy 32 492 Ft
Understanding Career Counselling Jenny Kidd / Book Paperback
common.buy 14 420 Ft
Electron Kinetics and Applications of Glow Discharges Uwe Kortshagen / Book Hardback
common.buy 61 586 Ft
Dynamics of Arterial Flow Stewart Wolf / Book Paperback
common.buy 20 609 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?