Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με 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 Επικοινωνία phoneΠώς να κάνετε αγορές;

NASA Formal Methods

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

Γλώσσα ΑγγλικήΑγγλική
ebook Adobe ePub DRM
ΕΕκδοτικός οίκος Springer, Μάιος 2024
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on... Πλήρης περιγραφή
? points 356 b
146.86 €
Σε απόθεμα Άμεσο κατέβασμα

Οι πελάτες αγόρασαν επίσης

Twenty -sixth of the sheikhdom of Baghdadiya by Abu Taher Al -Salafi Abu Taher Al -Salafi / ebook Adobe ePub DRM
common.buy 13.22 €

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 για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα NASA Formal Methods
Συγγραφέας Nathaniel Benz, Divya Gopinath, Nija Shi
Γλώσσα Αγγλική
Βιβλιοδεσία ebook - Adobe ePub DRM
Ημερομηνία έκδοσης 2024
EAN 9783031606984
Κωδικός Libristo 47697499
ΕΕκδοτικός οίκος Springer

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer modelling & simulation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer hardware
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Supreme Court Review, 2016 Dennis J. Hutchinson / Βιβλίο Σκληρόδετο
common.buy 78.17 €
TOP CASES of The FBI - Vol. II Rj Parker Phd / Βιβλίο Χαρτόδετο
common.buy 10.80 €
Bruno Has One Hundred Friends Francesca Pirrone / Βιβλίο Σκληρόδετο
common.buy 16.66 €
Making Of A Sugar Giant Philippe Chalmin / ebook Adobe ePub DRM
common.buy 78.68 €
Apostles of Mercy Lindsay Ellis / Βιβλίο Σκληρόδετο
common.buy 26.15 €
Regenerative Grazing with Goats and Sheep Farmer's Library / Βιβλίο Χαρτόδετο
common.buy 15.14 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;