Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.

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

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

Δωρεάν αποστολή με 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

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

Βοήθεια

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

▸ Άδειο :-(

Formal Methods

Name: Formal Methods
Brand: Springer, Berlin
SKU: 42849724
Price: 103.16 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.16 €

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

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

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

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

Locke & Key Joe Hill

Σκληρόδετο

38.70 €

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

Χαρτόδετο

8.00 €

Moins un Joanniez

Χαρτόδετο

11.34 €

Yoga, Sex and Happiness Carolin-Marie Roth

Χαρτόδετο

23.70 €

Большая книга приключений Конни. Путешествия Лиана Шнайдер

Σκληρόδετο

17.83 €

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

Χαρτόδετο

36.17 €

Briefe, die neueste Litteratur betreffend, Teil 15, Briefe, die neueste Litteratur betreffend Teil 15 Moses Mendelssohn

Σκληρόδετο

119.38 €

Lombardia slow foot. Montagna per tutte le gambe. Provincia di Pavia e Varese Giuseppe Miotti

Βιβλίο

7.79 €

I love Kawaii. El arte japonés de para dibujar cosas dulces Nguyen

Χαρτόδετο

14.99 €

Bonjour Pansori Han

Χαρτόδετο

31.00 €

PC-7M popisovač Posca, 4,5-5,5 mm, černý (24)

Χαρτικά/γραφική ύλη

4.25 €

Trace et disparition Brocchini

Χαρτόδετο

18.94 €

Basics Schallschutz Dominic Kampshoff

Χαρτόδετο

23.50 €

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

Σκληρόδετο

5.77 €

These: Des Privileges Sur Les Meubles Flachat-A

Χαρτόδετο

17.73 €

Cadena de oro Kolton

Χαρτόδετο

9.01 €

Jerusalem, Jerusalem Berengar Pfahl

DVD

17.93 €

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

Χαρτόδετο

13.77 €

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη