Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktGeschenkefinderGutscheineFirmenkundschaftFilialen
0
Erweiterte Suche
☄️Nicht verpassen: 15% auf alle Spiele
Jetzt profitieren

NASA Formal Methods

Beschreibung

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 ...

Format auswählen

E-Book (pdf)
CHF118.90
Kartonierter Einband
CHF121.20
CHF118.90
Download steht sofort bereit 
Kein Rückgaberecht 
15% Rabatt auf alle Spiele - Bis 6.7.

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

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.

Produktinformationen

Titel:
NASA Formal Methods
Untertitel:
15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Editor:
Kristin Yvonne Rozier
,
Swarat Chaudhuri
EAN:
9783031331701
Format:
E-Book (pdf)
Hersteller:
Springer International Publishing
Genre:
IT & Internet
Digitaler Kopierschutz:
Wasserzeichen
Dateigrösse:
19.65 MB
Anzahl Seiten:
490

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

E-Book (pdf) Foundations of Information and Knowledge Systems von
  • Foundations of Information and Knowledge Systems
Band 13903
E-Book (pdf) NASA Formal Methods von
  • NASA Formal Methods
Sie sind hier.

Mehr entdecken: E-Books Englisch

Belletristik & Unterhaltung, Diverses, Geisteswissenschaften, Kunst, Musik, IT & Internet, Naturwissenschaften, Medizin, Informatik, Technik, Ratgeber, Reise, Sachbuch, Schule und Lernen, Sozialwissenschaften, Recht, Wirtschaft