Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Formal Methods: Foundations and Applications

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods: Foundations and Applications Sidney C. Nogueira
Libristo-code: 46813857
Uitgeverij Springer, Berlin, december 2024
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Fo... Volledige beschrijving
? points 162 b
66.91 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Wordt verwacht
Jaroslav Velc V oblacích Ondřej Neff / Boek Gebonden (harde band)
common.buy 79.82 €
Anne de Avonlea - Vol. 2 da serie Anne de Green Gables Lucy Maud Montgomery / Boek Gebonden (paperback)
common.buy 29.56 €
Wordt verwacht
Co se tenkrát nemohlo napsat Jiří Haleš / Boek Gebonden (harde band)
common.buy 13.41 €
Mon coach pour le mémoire de fin d'études en IFSI Mendes / Boek Gebonden (paperback)
common.buy 19.97 €
Siatka danych. Nowoczesna koncepcja samoobsługowej infrastruktury danych Zhamak Dehghani / Boek Gebonden (paperback)
common.buy 20.18 €
Ukhruj Minha YA Maluon: Novel in Arabic Saddam Hussein / Boek Gebonden (paperback)
common.buy 28.25 €
Opowiastki do przemyślenia Bucay Jorge / Boek Gebonden (harde band)
common.buy 12.61 €
Journal International de Bioéthique et d'Ethique des Sciences 2-2024 Byk / Boek Boek
common.buy 46.11 €
TOP
Desert Habitat / Spel/speelgoed Speelgoed
common.buy 16.64 €
Jean-Baptiste de La Salle, Emmanuel Mounier : deux chrétiens engagés dans leur siècle FORET / Boek Gebonden (paperback)
common.buy 31.58 €
MIGUEL FISAC ASENSIO WANDOSELL / Boek Boek
common.buy 25.83 €
Os Bochechas. Animais do bosque CARREIRO MONTEIRO / Boek Gebonden (paperback)
common.buy 16.84 €
Tenjin - Tome 7 Yoichi Komori / Boek Boek
common.buy 10.59 €
PECHE EN MER A LA VOILE MARIN / Boek Gebonden (paperback)
common.buy 15.73 €
Schritt fur Schritt in Alltag und Beruf Daniela Niebisch / Boek Gebonden (paperback)
common.buy 21.89 €
Que Vuelvan Las Vacas Locas! Carles Arbat / Boek Gebonden (paperback)
common.buy 24.11 €
Voordelig
Přesedni na můj vůz Květa Monhartová / Boek Gebonden (paperback)
common.buy 0.60 €
Historia de la vejez : de la Antigüedad al Renacimiento Georges Minois / Boek Gebonden (paperback)
common.buy 37.23 €
Emotionale Intelligenz im Biologie-Unterricht zur Foerderung der Konfliktfahigkeit von Schulern Stephan Niemeier / Boek Gebonden (paperback)
common.buy 16.14 €
Tantra : el camino de la aceptación Osho / Boek Gebonden (paperback)
common.buy 16.54 €
Libertarianizm Krytyka Tomasz Teluk / Boek Gebonden (paperback)
common.buy 8.16 €
Das Deutsche Poplied ALS Textsorte Agnieszka Marta Kurzynska / Boek Gebonden (harde band)
common.buy 54.09 €
Oeuvres Illustrees de George Sand. 3 (Ed.1852-1856) Sand / Boek Gebonden (paperback)
common.buy 25.22 €
Korrektes Ausfüllen des Zeitnachweisbogens (Unterweisung Diplom-Betriebswirt / -in) Susanne Mayer / Boek Gebonden (paperback)
common.buy 13.51 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods: Foundations and Applications
Auteur Sidney C. Nogueira, Ciprian Teodorov
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2024
Aantal pagina's 210
EAN 9783031781155
Libristo-code 46813857
Uitgeverij Springer, Berlin
Gewicht 347
Afmetingen 155 x 235

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Translation Studies in the Age of Artificial Intelligence Kanglong Liu / Boek Gebonden (paperback)
common.buy 61.56 €
World of Aluna #2 PAULA GARCES / Boek Gebonden (paperback)
common.buy 7.86 €
The Mysteries, Pagan And Christian: Being The Hulsean Lectures For 1896-1897 (1897) Samuel Cheetham / Boek Gebonden (paperback)
common.buy 25.02 €
Salem's Vengeance Aaron Galvin / Boek Gebonden (paperback)
common.buy 13.01 €
Patience Wins: War in the Works George Manville Fenn / Boek Gebonden (paperback)
common.buy 7.66 €
Toxins and Contaminants in Indian Food Products Ramesh Kumar Sharma / Boek Gebonden (harde band)
common.buy 114.24 €
Race, Gender, and Curriculum Theorizing Denise Taliaferro Baszile / Boek Gebonden (harde band)
common.buy 116.86 €
Bond and Free, by the Author of 'Caste' Emily Jolly / Boek Gebonden (harde band)
common.buy 34.41 €
Explore English Student's Coursebook: Stage 2 Daphne Paizee / Boek Gebonden (paperback)
common.buy 15.03 €
Fractional Calculus for Skeptics I West / Boek Gebonden (harde band)
common.buy 275.93 €
Still Life with Timex Elisabeth Murawski / Boek Gebonden (paperback)
common.buy 15.73 €
The Dragon King: An Elemental spin-off novella T. B. Wiese / Boek Gebonden (paperback)
common.buy 11.70 €
Satisfiability and Model Checking in Team Based Logics Julian-Steffen Müller / Boek Gebonden (paperback)
common.buy 24.82 €
War of the Bloods in My Veins Dashaun "Jiwe" Morris / Boek Gebonden (paperback)
common.buy 13.92 €
Son Philipp Meyer / Boek Gebonden (paperback)
common.buy 17.25 €
English Shepherd. English Shepherd Dog Complete Owners Manual. English Shepherd book for care, costs, feeding, grooming, health and training. George Hoppendale / Boek Gebonden (paperback)
common.buy 15.53 €
Paddling the Ozarks Mike Bezemek / Boek Gebonden (paperback)
common.buy 17.15 €
Berenstain Bears Trick or Treat Jan Berenstain / Boek Gebonden (paperback)
common.buy 5.54 €
Plato Plato / Boek Gebonden (paperback)
common.buy 44.90 €
Mandarin Aaron Kunin / Boek Gebonden (paperback)
common.buy 18.06 €
Learning in a Burning House Sonya Douglass Horsford / Boek Gebonden (paperback)
common.buy 35.21 €
Undead Next Door Kerrelyn Sparks / Boek Gebonden (paperback)
common.buy 7.46 €
Nonmetallic Materials and Composites at Low Temperature G. Hartwig / Boek Gebonden (paperback)
common.buy 51.56 €
Pikes Peak Echo Nov. 1885-June 1886; 1 Colorado College / Boek Gebonden (harde band)
common.buy 33.50 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?