NASA Formal Methods: Lecture Notes in Computer Science, cartea 10227

Name: NASA Formal Methods
Price: 354.52 RON
Availability: OnlineOnly
Author: Clark Barrett
ISBN: 9783319572871

Editat de Clark Barrett, Misty Davies, Temesghen Kahsai

en Limba Engleză Paperback – 9 apr 2017

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.

The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 558^.53 lei
20%

Preț: 571^.88 lei
20%

Preț: 675^.83 lei
20%

Preț: 1020^.28 lei
20%

Preț: 851^.78 lei
20%

Preț: 560^.93 lei
20%

Preț: 633^.70 lei
20%

Preț: 731^.82 lei
20%

Preț: 1359^.66 lei
20%

Preț: 620^.33 lei
20%

Preț: 733^.68 lei
18%

Preț: 945^.44 lei
15%

Preț: 558^.12 lei
20%

Preț: 793^.92 lei
20%

Preț: 560^.93 lei
20%

Preț: 748^.63 lei
20%

Preț: 562^.49 lei
20%

Preț: 1246^.46 lei
20%

Preț: 449^.81 lei
20%

Preț: 606^.22 lei
20%

Preț: 620^.33 lei
20%

Preț: 562^.49 lei
20%

Preț: 560^.93 lei
20%

Preț: 313^.10 lei
20%

Preț: 828^.44 lei
20%

Preț: 560^.93 lei
20%

Preț: 314^.86 lei
20%

Preț: 1033^.45 lei
20%

Preț: 563^.29 lei
20%

Preț: 733^.68 lei
20%

Preț: 1137^.10 lei
20%

Preț: 735^.28 lei
20%

Preț: 1079^.23 lei
20%

Preț: 584^.42 lei
20%

Preț: 854^.16 lei
15%

Preț: 672^.87 lei
20%

Preț: 1032^.47 lei
20%

Preț: 617^.17 lei
20%

Preț: 1022^.15 lei
20%

Preț: 984^.64 lei
20%

Preț: 556^.96 lei
20%

Preț: 402^.28 lei
20%

Preț: 316^.28 lei
20%

Preț: 663^.69 lei
20%

Preț: 320^.24 lei
20%

Preț: 343^.12 lei
20%

Preț: 313^.87 lei

Preț: 354^.52 lei

Preț vechi: 443^.16 lei
-20%

Puncte Express: 532

Carte tipărită la comandă

Livrare economică 10-24 decembrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.

Transport gratuit de la 400^.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.

Retur gratuit în 14 zile Comandă securizată și suport în română.

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Specificații

ISBN-13: 9783319572871
ISBN-10: 3319572873
Pagini: 448
Ilustrații: XI, 436 p. 124 illus.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.67 kg
Ediția:1st edition 2017
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland