NASA Formal Methods de Aaron Dutle

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

Editat de Aaron Dutle, Laura Humphrey, Laura Titolo

en Limba Engleză Paperback – 8 iun 2025

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025. The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 908^.04 lei

Preț vechi: 1135^.04 lei
-20%

Puncte Express: 1362

Carte tipărită la comandă

Livrare economică 18-24 iulie

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

Transport gratuit pentru acest produs 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: 9783031937057
ISBN-10: 3031937058
Pagini: 456
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.69 kg
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science