by Martyn Thomas (Editor), Alexander Romanovsky (Editor), Martyn Thomas (Editor), Alexander Romanovsky (Editor)
This book summarizes the results of research on engineering methods for dependable systems through the deployment of formal methods in software development in applications such as automotive, space, railway and business systems, and microprocessor design.
Format: Hardcover
Pages: 272
Edition: 2013
Publisher: Springer
Published: 23 Jul 2013
ISBN 10: 3642331696
ISBN 13: 9783642331695
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
