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

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

Formal Methods and Software Engineering

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Γλώσσα ΑγγλικήΑγγλική
ebook Adobe ePub DRM
ΕΕκδοτικός οίκος Springer, Νοέμβριος 2023
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Sof... Πλήρης περιγραφή
? points 181 b
74.72
Σε απόθεμα Άμεσο κατέβασμα


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


Licht - Metapher der Erkenntnis Maria Nuhlen / ebook Adobe ePub DRM
common.buy 40.80
Atlan 48: Die Insel des dunklen Mondes Hans Kneifel / ebook Adobe ePub DRM
common.buy 1.61
Cuentos de Velorio Javier Herrera Palma / Βιβλίο Χαρτόδετο
common.buy 16.29
LA PIETRA RIFIUTATA S. G Treasure / Βιβλίο Χαρτόδετο
common.buy 13.56
Homem-Urso Escoces: Um Negocio Perigoso Lorelei Moone / ebook Adobe ePub DRM
common.buy 2.72
JUGAR CON FUEGO + CD PINILLA Βιβλίο Βιβλίο
common.buy 12.24
Système solaire et planètes Levasseur-Regourd / Βιβλίο Χαρτόδετο
common.buy 35.53
Oeuvres Completes de L'Abb Proyart Lievain Bonaventure Proyart / Βιβλίο Χαρτόδετο
common.buy 27.23
VIVI Felice-Cembalosonaten Diego Ares / Audio Audio CD
common.buy 25.31
Chemin Faisant...La Vie Nicole Bandelier / Βιβλίο Χαρτόδετο
common.buy 26.32
Mes Memoires. T. 7 (Ed.1863-1884) Alexandre Dumas / Βιβλίο Χαρτόδετο
common.buy 26.52

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Formal Methods and Software Engineering
Συγγραφέας Yi Li, Sofiene Tahar
Γλώσσα Αγγλική
Βιβλιοδεσία ebook - Adobe ePub DRM
Ημερομηνία έκδοσης 2023
EAN 9789819975846
Κωδικός Libristo 45081938
ΕΕκδοτικός οίκος Springer
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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


Business Ethics and Critical Consultant Jokes Onno Bouwmeester / ebook Adobe ePub DRM
common.buy 4.45
Indiana 3rd Grade ELA Test Prep: Common Core Learning Standards Teachers' Treasures / Βιβλίο Χαρτόδετο
common.buy 20.34
Rolfing and Physical Reality Ida P. Rolf / ebook Adobe ePub DRM
common.buy 13.05
Festivals and the Cultural Public Sphere Gerard Delanty / ebook Adobe ePub DRM
common.buy 72.59
Love Hurts Lodro Rinzler / ebook Adobe ePub DRM
common.buy 12.34
Revisiting Austria Gundolf Graml / ebook Adobe ePub DRM
common.buy 27.13
Inspire English International Year 8 Teacher Guide David Grant / Βιβλίο Βιβλιοδεσία με σπιράλ
common.buy 110.87
Cooperative Control of Multi-Agent Systems Chunyan Wang / Βιβλίο Χαρτόδετο
common.buy 213.55
Looking Back, Facing Forward EDNA HARDAMAN / Βιβλίο Σκληρόδετο
common.buy 26.42
Nerve Physiology and Trigeminal Nerve Kanwaldeep Soodan / Βιβλίο Χαρτόδετο
common.buy 44.55
Poetical Works Henry Taylor / Βιβλίο Σκληρόδετο
common.buy 35.23
Good Nature Kathy Willis / ebook Adobe ePub DRM
common.buy 11.33
James Swinnerton's Canyon Country Kiddies James Guilford Swinnerton / Βιβλίο Χαρτόδετο
common.buy 24.29
Biggles in France Captain W. E. Johns / ebook Adobe ePub DRM
common.buy 2.72
Differentiated Instruction Ervin F. Sparapani / Βιβλίο Χαρτόδετο
common.buy 59.03
Algal Biorefineries Rakesh K. Bajpai / Βιβλίο Χαρτόδετο
common.buy 154.52
Heterodox Economics Andrew Trigg / ebook Adobe ePub DRM
common.buy 25.91
Neuropsychoanalysis in practice Georg Northoff / Βιβλίο Σκληρόδετο
common.buy 151.88
Development at the WTO Sonia E. Rolland / Βιβλίο Χαρτόδετο
common.buy 75.63
Theory of Accretion Disks 2 Wolfgang J. Duschl / Βιβλίο Σκληρόδετο
common.buy 226.82

Είσοδος

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

 
υποχρεωτικό
υποχρεωτικό

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

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

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