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

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

Δωρεάν αποστολή με 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, Berlin
SKU: 42849724
Price: 103.1 EUR
Availability: InStock
Author: Marsha Chechik
ISBN: 9783031274800

25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Marsha Chechik

Joost-Pieter Katoen

Martin Leucker

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 42849724

ΕΕκδοτικός οίκος Springer, Berlin, Απρίλιος 2023

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Πλήρης περιγραφή

Κωδικός Libristo: 42849724

249 b

103.10 €

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

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

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

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

Уголовный кодекс Российской Федерации. Редакция 2026. Young adult

Χαρτόδετο

8.90 €

Moins un Joanniez

Χαρτόδετο

11.43 €

Locke & Key Joe Hill

Σκληρόδετο

38.78 €

Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert

Χαρτόδετο

36.25 €

Bonjour Pansori Han

Χαρτόδετο

31.08 €

Trace et disparition Brocchini

Χαρτόδετο

18.93 €

Basics Schallschutz Dominic Kampshoff

Χαρτόδετο

23.49 €

Štedrovečerné rozprávky Miklós Malvina

Σκληρόδετο

5.76 €

Cadena de oro Kolton

Χαρτόδετο

9.92 €

La Ligue de Salut La Gervaisais-N-L-M

Χαρτόδετο

14.37 €

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.

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

EWA KASP για

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

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

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

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

Συγγραφέας Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Γλώσσα

Αγγλική

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

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

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

EAN 9783031274800

Κωδικός Libristo 42849724

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

Βάρος 929

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

Κατηγορία

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

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

Είναι εύκολο

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