Click & Collect
from 2 Hours*
Last Christmas
delivery dates
Free UK Standard Delivery On all orders over £25 Order in time for Christmas 16th December by 3pm 2nd Class |
19th December by 3pm 1st Class
Free Click & Collect to shops From 2 hours after you order*
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers - Communications in Computer and Information Science 419 (Paperback)
  • Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers - Communications in Computer and Information Science 419 (Paperback)
zoom

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers - Communications in Computer and Information Science 419 (Paperback)

(editor), (editor)
£49.99
Paperback 297 Pages / Published: 22/04/2014
  • We can order this from the publisher

UK delivery within 3-4 weeks

Important information: this item can only be delivered to a UK address. More information
  • This item has been added to your basket
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.

Publisher: Springer International Publishing AG
ISBN: 9783319054155
Number of pages: 297
Weight: 4686 g
Dimensions: 235 x 155 x 17 mm
Edition: 2014 ed.

You may also be interested in...

Cracking the PM Interview
Added to basket
Code
Added to basket
£21.99
Paperback
Designing Data-Intensive Applications
Added to basket
Python Pocket Reference
Added to basket
How to Build a Billion Dollar App
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
Python For Kids For Dummies
Added to basket
Black Hat Python
Added to basket
£31.99
Paperback
Think Like A Programmer
Added to basket
Clean Code
Added to basket
£38.99
Paperback
C Programming Language
Added to basket
Effective Modern C++
Added to basket
Clean Coder, The
Added to basket
£33.49
Paperback
Coding for Beginners in easy steps
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.