Έλεγχος κατάστασης παραγγελίας
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Πώς να κάνετε αγορές;

Formal Methods and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Formal Methods and Software Engineering Kazuhiro Ogata
Κωδικός Libristo: 46820668
ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2024
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Form... Πλήρης περιγραφή
? points 187 b
77.27 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Metaphernforschung in interdisziplinären und interdiskursiven Perspektiven Roman Mikulas / Βιβλίο Χαρτόδετο
common.buy 140.40 €
New Bridges 1re 2011 - Livre du professeur François Guary / Βιβλίο Χαρτόδετο
common.buy 24.47 €
Catalogue de Livres Anciens Et Modernes Dans Tous Les Genres, Impressions Gothiques Emile Paul / Βιβλίο Χαρτόδετο
common.buy 16.28 €
SARA ELORTZA ANTIA / Βιβλίο Χαρτόδετο
common.buy 27.20 €
Προετοιμαζουμε
Jak vycvičit draka Mega aktivity collegium / Βιβλίο Χαρτόδετο
common.buy 6.16 €
Simulation du broutement en fraisage par les lobes de stabilite Sami Allouache / Βιβλίο Χαρτόδετο
common.buy 54.31 €
Pierwsze spotkanie / Kinra Girls Moka / Βιβλίο Χαρτόδετο
common.buy 6.77 €
Gender Pay Gap Reiner Fattmann / Βιβλίο Χαρτόδετο
common.buy 28.62 €
(CAT).QUADERNS MATEMATIQUES 4. RESTES PORTANT-NE (CALCUL) Sousa Martín / Βιβλίο Βιβλίο
common.buy 7.37 €
CONTOS DO SER E NÇO SER CRUZ / Βιβλίο Βιβλίο
common.buy 19.51 €
Ravensburger Puzzle 12000801 - Der Wasserfall im Red Canyon - 1500 Teile Puzzle für Erwachsene ab 14 Jahren / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 26.29 €
Kochanek przebudzony. Bractwo Czarnego Sztyletu. Tom 3 J.R Ward|J.R Ward / Βιβλίο Χαρτόδετο
common.buy 12.43 €
Multi-Regime-Regulierung Britta Meinke / Βιβλίο Χαρτόδετο
common.buy 53.10 €

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.

The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods

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

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

Πλήρες όνομα Formal Methods and Software Engineering
Συγγραφέας Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2025
Αριθμός σελίδων 397
EAN 9789819606160
Κωδικός Libristo 46820668
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 589
Διαστάσεις 155 x 235

Κατηγορία

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

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

Emerging Non-destructive Technologies for Food Quality Analysis C.K. Sunil / Βιβλίο Σκληρόδετο
common.buy 185.11 €
Italy, During The Consulate And Empire Of Napoleon Buonaparte (1829) Carlo Botta / Βιβλίο Χαρτόδετο
common.buy 38.13 €
Προετοιμαζουμε Νέα
Artificial Intelligence in Brain Disorders Pranav Kumar Prabhakar / Βιβλίο Χαρτόδετο
common.buy 178.13 €
Τοπ
Grounded in the Garden: An Artist's Guide to Creating a Beautiful Garden in Harmony with Nature Jane Powers / Βιβλίο Σκληρόδετο
common.buy 23.26 €
Michigan Freshwater Fishes: A Waterproof Folding Guide to Native and Introduced Species Matthew Morris / Βιβλίο Χαρτόδετο
common.buy 9.70 €
Alex Da Corte: Mr. Remember DA CORTE ALEX / Βιβλίο Σκληρόδετο
common.buy 36.31 €
COMPIEGNE DATES, FACTS AND FIGURES Perot / Βιβλίο Χαρτόδετο
common.buy 5.86 €
Bayesian Theory and Methods with Applications Vladimir Savchuk / Βιβλίο Σκληρόδετο
common.buy 50.57 €
Progress in Behavioral Social Work Bruce A. Thyer / Βιβλίο Σκληρόδετο
common.buy 184.20 €
KIT CARSON, THE SCOUT: OR, THE KNIGHT OF EDWARD SYLVES ELLIS / Βιβλίο Χαρτόδετο
common.buy 19.31 €
Ratchet Wives Club: Atlanta Edition N'Dia Rae / Βιβλίο Χαρτόδετο
common.buy 10.81 €
Your Guide to Financial Freedom Brett Machtig / Βιβλίο Χαρτόδετο
common.buy 21.23 €
Living with the European Union Dennis Kennedy / Βιβλίο Σκληρόδετο
common.buy 114.60 €
Failure of Political Islam O Roy / Βιβλίο Χαρτόδετο
common.buy 34.18 €
Counterpoint James A Huston / Βιβλίο Χαρτόδετο
common.buy 29.02 €
A Digest of Laws Relating to the City of Philadelphia, from Its Territorial Extension, by the Act of Assembly, Approved February 2D, 1854, Until the David W Sellers / Βιβλίο Χαρτόδετο
common.buy 28.21 €
The Virgin & the Strip Mall: and other essays on Amsterdam, the Mohawk Valley and upstate New York Daniel T Weaver / Βιβλίο Χαρτόδετο
common.buy 10.81 €
British Warship Recognition: The Perkins Identification Albums Richard Perkins / Βιβλίο Σκληρόδετο
common.buy 82.94 €

Είσοδος

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

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

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

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

Δημιουργία λογαριασμού Libristo