Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer Nature B.V.
SKU: 50453037
Price: 57.05 EUR
Availability: InStock
Author: Kristin Yvonne Rozier
ISBN: 9783031331718

15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Kristin Yvonne Rozier

Swarat Chaudhuri

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 50453037

Nakladateľstvo Springer Nature B.V., jún 2023

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NF... Celý popis

Libristo kód: 50453037

138 b

57.05 €

Skladom u dodávateľa Odosielame za 10-18 dní

Až 30 dní na vrátenie tovaru

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.

The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.

The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.