Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer, Berlin
SKU: 45752815
Price: 88.98 EUR
Availability: InStock
Author: Divya Gopinath
ISBN: 9783031606977

16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Divya Gopinath

Nathaniel Benz

Nija Shi

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 45752815

ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2023

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on... Πλήρης περιγραφή

Κωδικός Libristo: 45752815

216 b

88.98 €

Σε εξωτερική αποθήκη Αποστέλλουμε σε 10-18 ημέρες

Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions.The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα NASA Formal Methods

Συγγραφέας Divya Gopinath, Nathaniel Benz, Nija Shi

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2024

Αριθμός σελίδων 450

EAN 9783031606977

Κωδικός Libristo 45752815

ΕΕκδοτικός οίκος Springer, Berlin

Βάρος 698

Διαστάσεις 155 x 235

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη