Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Formal Methods: Foundations and Applications

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Methods: Foundations and Applications Sidney C. Nogueira
Koda Libristo: 46813857
Založba Springer, Berlin, december 2024
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Fo... Celoten opis
? points 153 b
63.27 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Kmalu
Jaroslav Velc V oblacích Ondřej Neff / Knjiga Trda
common.buy 70.74 €
Anne de Avonlea - Vol. 2 da serie Anne de Green Gables Lucy Maud Montgomery / Knjiga Mehka
common.buy 28.15 €
Kmalu
Co se tenkrát nemohlo napsat Jiří Haleš / Knjiga Trda
common.buy 11.90 €
Mon coach pour le mémoire de fin d'études en IFSI Mendes / Knjiga Mehka
common.buy 18.26 €
Siatka danych. Nowoczesna koncepcja samoobsługowej infrastruktury danych Zhamak Dehghani / Knjiga Mehka
common.buy 17.96 €
Ukhruj Minha YA Maluon: Novel in Arabic Saddam Hussein / Knjiga Mehka
common.buy 26.84 €
Opowiastki do przemyślenia Bucay Jorge / Knjiga Trda
common.buy 11.29 €
Journal International de Bioéthique et d'Ethique des Sciences 2-2024 Byk / Knjiga Knjiga
common.buy 42.08 €
Top
Desert Habitat / Igra/Igrača Igrača
common.buy 15.63 €
Jean-Baptiste de La Salle, Emmanuel Mounier : deux chrétiens engagés dans leur siècle FORET / Knjiga Mehka
common.buy 28.75 €
MIGUEL FISAC ASENSIO WANDOSELL / Knjiga Knjiga
common.buy 23.71 €
Os Bochechas. Animais do bosque CARREIRO MONTEIRO / Knjiga Mehka
common.buy 15.43 €
Tenjin - Tome 7 Yoichi Komori / Knjiga Knjiga
common.buy 9.68 €
PECHE EN MER A LA VOILE MARIN / Knjiga Mehka
common.buy 14.52 €
Schritt fur Schritt in Alltag und Beruf Daniela Niebisch / Knjiga Mehka
common.buy 20.68 €
Que Vuelvan Las Vacas Locas! Carles Arbat / Knjiga Mehka
common.buy 22.80 €
Poceni
Přesedni na můj vůz Květa Monhartová / Knjiga Mehka
common.buy 0.60 €
Historia de la vejez : de la Antigüedad al Renacimiento Georges Minois / Knjiga Mehka
common.buy 33.90 €
Emotionale Intelligenz im Biologie-Unterricht zur Foerderung der Konfliktfahigkeit von Schulern Stephan Niemeier / Knjiga Mehka
common.buy 15.23 €
Tantra : el camino de la aceptación Osho / Knjiga Mehka
common.buy 15.03 €
Libertarianizm Krytyka Tomasz Teluk / Knjiga Mehka
common.buy 7.36 €
Das Deutsche Poplied ALS Textsorte Agnieszka Marta Kurzynska / Knjiga Trda
common.buy 51.16 €
Oeuvres Illustrees de George Sand. 3 (Ed.1852-1856) Sand / Knjiga Mehka
common.buy 24.01 €
Korrektes Ausfüllen des Zeitnachweisbogens (Unterweisung Diplom-Betriebswirt / -in) Susanne Mayer / Knjiga Mehka
common.buy 12.71 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Methods: Foundations and Applications
Avtor Sidney C. Nogueira, Ciprian Teodorov
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2024
Število strani 210
EAN 9783031781155
Koda Libristo 46813857
Založba Springer, Berlin
Teža 347
Mere 155 x 235

Kategorije

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Translation Studies in the Age of Artificial Intelligence Kanglong Liu / Knjiga Mehka
common.buy 58.83 €
World of Aluna #2 PAULA GARCES / Knjiga Mehka
common.buy 7.46 €
The Mysteries, Pagan And Christian: Being The Hulsean Lectures For 1896-1897 (1897) Samuel Cheetham / Knjiga Mehka
common.buy 23.71 €
Salem's Vengeance Aaron Galvin / Knjiga Mehka
common.buy 12.30 €
Patience Wins: War in the Works George Manville Fenn / Knjiga Mehka
common.buy 7.26 €
Toxins and Contaminants in Indian Food Products Ramesh Kumar Sharma / Knjiga Trda
common.buy 103.95 €
Race, Gender, and Curriculum Theorizing Denise Taliaferro Baszile / Knjiga Trda
common.buy 111.31 €
Bond and Free, by the Author of 'Caste' Emily Jolly / Knjiga Trda
common.buy 32.69 €
Explore English Student's Coursebook: Stage 2 Daphne Paizee / Knjiga Mehka
common.buy 14.32 €
Fractional Calculus for Skeptics I West / Knjiga Trda
common.buy 263.71 €
Still Life with Timex Elisabeth Murawski / Knjiga Mehka
common.buy 14.83 €
The Dragon King: An Elemental spin-off novella T. B. Wiese / Knjiga Mehka
common.buy 11.19 €
Satisfiability and Model Checking in Team Based Logics Julian-Steffen Müller / Knjiga Mehka
common.buy 23.41 €
War of the Bloods in My Veins Dashaun "Jiwe" Morris / Knjiga Mehka
common.buy 13.11 €
Son Philipp Meyer / Knjiga Mehka
common.buy 16.14 €
English Shepherd. English Shepherd Dog Complete Owners Manual. English Shepherd book for care, costs, feeding, grooming, health and training. George Hoppendale / Knjiga Mehka
common.buy 14.83 €
Paddling the Ozarks Mike Bezemek / Knjiga Mehka
common.buy 16.14 €
Berenstain Bears Trick or Treat Jan Berenstain / Knjiga Mehka
common.buy 5.14 €
Plato Plato / Knjiga Mehka
common.buy 42.28 €
Mandarin Aaron Kunin / Knjiga Mehka
common.buy 17.15 €
Learning in a Burning House Sonya Douglass Horsford / Knjiga Mehka
common.buy 33.40 €
Undead Next Door Kerrelyn Sparks / Knjiga Mehka
common.buy 6.55 €
Nonmetallic Materials and Composites at Low Temperature G. Hartwig / Knjiga Mehka
common.buy 48.74 €
Pikes Peak Echo Nov. 1885-June 1886; 1 Colorado College / Knjiga Trda
common.buy 31.78 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?