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

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

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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Formal Methods

Name: Formal Methods
Brand: Springer Nature Switzerland AG
SKU: 37633220
Price: 113.31 EUR
Availability: InStock
Author: Naijun Zhan
ISBN: 9783030908690

Naijun Zhan

Corina Pasareanu

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 37633220

ΕΕκδοτικός οίκος Springer Nature Switzerland AG, Νοέμβριος 2021

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel... Πλήρης περιγραφή

Κωδικός Libristo: 37633220

274 b

113.31 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες

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

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

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

modernen Vater der Antike Annette M. Baertschi

Σκληρόδετο

175.23 €

Magie der Natur: Eine Revolutions-Geschichte Caroline De La Motte Fouque

Χαρτόδετο

11.73 €

Fundamenta Krestomatio L.L. Zamenhof

Χαρτόδετο

18.40 €

Trichoderma Jaimin Pandya

Χαρτόδετο

24.17 €

AUTOANALISIS CAVALIERE

Χαρτόδετο

12.94 €

Co-construction entre Idéalisme et Réalité Mounir

Χαρτόδετο

25.28 €

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.

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

EWA KASP για

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

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

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

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

Συγγραφέας Naijun Zhan, Corina Pasareanu

Γλώσσα

Αγγλική

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

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

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

EAN 9783030908690

ISBN 3030908690

Κωδικός Libristo 37633220

ΕΕκδοτικός οίκος Springer Nature Switzerland AG

Βάρος 1234

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

Κατηγορία

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems

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

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

Είναι εύκολο

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