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

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

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

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

Name: Formal Methods: Foundations and Applications
Brand: Springer, Berlin
SKU: 46813857
Price: 67.02 EUR
Availability: InStock
Author: Sidney C. Nogueira
ISBN: 9783031781155

27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Sidney C. Nogueira

Ciprian Teodorov

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 46813857

ΕΕκδοτικός οίκος Springer, Berlin, Δεκέμβριος 2024

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

Κωδικός Libristo: 46813857

162 b

67.02 €

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

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

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

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

Anne de Avonlea - Vol. 2 da serie Anne de Green Gables Lucy Maud Montgomery

Χαρτόδετο

31.13 €

MIGUEL FISAC ASENSIO WANDOSELL

Βιβλίο

23.54 €

Jaroslav Velc V oblacích Ondřej Neff

Σκληρόδετο

79.96 €

Co se tenkrát nemohlo napsat Jiří Haleš

Σκληρόδετο

13.44 €

Mon coach pour le mémoire de fin d'études en IFSI Mendes

Χαρτόδετο

19.91 €

Siatka danych. Nowoczesna koncepcja samoobsługowej infrastruktury danych Zhamak Dehghani

Χαρτόδετο

20.21 €

Jean-Baptiste de La Salle, Emmanuel Mounier : deux chrétiens engagés dans leur siècle FORET

Χαρτόδετο

31.43 €

Opowiastki do przemyślenia Bucay Jorge

Σκληρόδετο

11.31 €

Journal International de Bioéthique et d'Ethique des Sciences 2-2024 Byk

Βιβλίο

45.89 €

Desert Habitat

Παιχνίδι

16.67 €

Přesedni na můj vůz Květa Monhartová

Χαρτόδετο

0.90 €

Emotionale Intelligenz im Biologie-Unterricht zur Foerderung der Konfliktfahigkeit von Schulern Stephan Niemeier

Χαρτόδετο

16.17 €

Deutsche Sicherheitsstrukturen im 21. Jahrhundert. Streitbare Demokratie und ihre institutionelle Umsetzung durch den Verfassungsschutz Lars Normann

Χαρτόδετο

42.75 €

Oeuvres Illustrees de George Sand. 3 (Ed.1852-1856) Sand

Χαρτόδετο

26.48 €

Das Deutsche Poplied ALS Textsorte Agnieszka Marta Kurzynska

Σκληρόδετο

57.01 €

Libertarianizm Krytyka Tomasz Teluk

Χαρτόδετο

8.18 €

Tantra : el camino de la aceptación Osho

Χαρτόδετο

15.05 €

Os Bochechas. Animais do bosque CARREIRO MONTEIRO

Χαρτόδετο

15.36 €

Historia de la vejez : de la Antigüedad al Renacimiento Georges Minois

Χαρτόδετο

33.86 €

Ukhruj Minha YA Maluon: Novel in Arabic Saddam Hussein

Χαρτόδετο

29.81 €

Que Vuelvan Las Vacas Locas! Carles Arbat

Χαρτόδετο

24.15 €

Schritt fur Schritt in Alltag und Beruf Daniela Niebisch

Χαρτόδετο

21.83 €

Kinderkritzelbuch: Zeichnen und Malen für Kinder Conny Seiler

Χαρτόδετο

15.56 €

PECHE EN MER A LA VOILE MARIN

Χαρτόδετο

14.45 €

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4-6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.

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

EWA KASP για

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

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

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

Πλήρες όνομα Formal Methods: Foundations and Applications

Συγγραφέας Sidney C. Nogueira, Ciprian Teodorov

Γλώσσα

Αγγλική

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

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

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

EAN 9783031781155

Κωδικός Libristo 46813857

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

Βάρος 347

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

Κατηγορία

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

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

Είναι εύκολο

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

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

Son Philipp Meyer

Χαρτόδετο

18.29 €

World of Aluna #2 PAULA GARCES

Χαρτόδετο

8.28 €

Salem's Vengeance Aaron Galvin

Χαρτόδετο

13.74 €

Patience Wins: War in the Works George Manville Fenn

Χαρτόδετο

8.08 €

Toxins and Contaminants in Indian Food Products Ramesh Kumar Sharma

Σκληρόδετο

114.33 €

Race, Gender, and Curriculum Theorizing Denise Taliaferro Baszile

Σκληρόδετο

122.62 €

Bond and Free, by the Author of 'Caste' Emily Jolly

Σκληρόδετο

36.18 €

The Dragon King: An Elemental spin-off novella T. B. Wiese

Χαρτόδετο

12.32 €

The Mysteries, Pagan And Christian: Being The Hulsean Lectures For 1896-1897 (1897) Samuel Cheetham

Χαρτόδετο

26.17 €

Fractional Calculus for Skeptics I West

Σκληρόδετο

288.62 €

Explore English Student's Coursebook: Stage 2 Daphne Paizee

Χαρτόδετο

15.05 €

Still Life with Timex Elisabeth Murawski

Χαρτόδετο

15.76 €

Satisfiability and Model Checking in Team Based Logics Julian-Steffen Müller

Χαρτόδετο

24.86 €

Pikes Peak Echo Nov. 1885-June 1886; 1 Colorado College

Σκληρόδετο

35.17 €

War of the Bloods in My Veins Dashaun "Jiwe" Morris

Χαρτόδετο

14.75 €

English Shepherd. English Shepherd Dog Complete Owners Manual. English Shepherd book for care, costs, feeding, grooming, health and training. George Hoppendale

Χαρτόδετο

16.27 €