Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods: Foundations and Applications

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods: Foundations and Applications Sidney C. Nogueira
Libristo kód: 46813857
Nakladateľstvo Springer, Berlin, december 2024
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Fo... Celý popis
? points 162 b
66.86 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Opowiastki do przemyślenia Bucay Jorge / Kniha Pevná
common.buy 12.60 €
Jaroslav Velc V oblacích Ondřej Neff / Kniha Pevná
common.buy 72.51 €
Co se tenkrát nemohlo napsat Jiří Haleš / Kniha Pevná
common.buy 12.60 €
Mon coach pour le mémoire de fin d'études en IFSI Mendes / Kniha Brožovaná
common.buy 20.06 €
Siatka danych. Nowoczesna koncepcja samoobsługowej infrastruktury danych Zhamak Dehghani / Kniha Brožovaná
common.buy 19.86 €
Jean-Baptiste de La Salle, Emmanuel Mounier : deux chrétiens engagés dans leur siècle FORET / Kniha Brožovaná
common.buy 31.56 €
Journal International de Bioéthique et d'Ethique des Sciences 2-2024 Byk / Kniha Kniha
common.buy 46.09 €
Top
Desert Habitat / Hra/Hračka Hračka
common.buy 16.63 €
Lacno
Přesedni na můj vůz Květa Monhartová / Kniha Brožovaná
common.buy 0.60 €
Anne de Avonlea - Vol. 2 da serie Anne de Green Gables Lucy Maud Montgomery / Kniha Brožovaná
common.buy 28.13 €
MIGUEL FISAC ASENSIO WANDOSELL / Kniha Kniha
common.buy 25.71 €
Os Bochechas. Animais do bosque CARREIRO MONTEIRO / Kniha Brožovaná
common.buy 16.83 €
PECHE EN MER A LA VOILE MARIN / Kniha Brožovaná
common.buy 15.62 €
Schritt fur Schritt in Alltag und Beruf Daniela Niebisch / Kniha Brožovaná
common.buy 21.88 €
Que Vuelvan Las Vacas Locas! Carles Arbat / Kniha Brožovaná
common.buy 24.10 €
Ukhruj Minha YA Maluon: Novel in Arabic Saddam Hussein / Kniha Brožovaná
common.buy 26.82 €
Historia de la vejez : de la Antigüedad al Renacimiento Georges Minois / Kniha Brožovaná
common.buy 37.21 €
Emotionale Intelligenz im Biologie-Unterricht zur Foerderung der Konfliktfahigkeit von Schulern Stephan Niemeier / Kniha Brožovaná
common.buy 16.13 €
Tantra : el camino de la aceptación Osho / Kniha Brožovaná
common.buy 16.43 €
Libertarianizm Krytyka Tomasz Teluk / Kniha Brožovaná
common.buy 8.06 €
Das Deutsche Poplied ALS Textsorte Agnieszka Marta Kurzynska / Kniha Pevná
common.buy 51.13 €
Oeuvres Illustrees de George Sand. 3 (Ed.1852-1856) Sand / Kniha Brožovaná
common.buy 25.00 €
Korrektes Ausfüllen des Zeitnachweisbogens (Unterweisung Diplom-Betriebswirt / -in) Susanne Mayer / Kniha Brožovaná
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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods: Foundations and Applications
Autor Sidney C. Nogueira, Ciprian Teodorov
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2024
Počet strán 210
EAN 9783031781155
Libristo kód 46813857
Nakladateľstvo Springer, Berlin
Váha 347
Rozmery 155 x 235

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

War of the Bloods in My Veins Dashaun "Jiwe" Morris / Kniha Brožovaná
common.buy 13.10 €
World of Aluna #2 PAULA GARCES / Kniha Brožovaná
common.buy 7.45 €
Salem's Vengeance Aaron Galvin / Kniha Brožovaná
common.buy 12.30 €
Patience Wins: War in the Works George Manville Fenn / Kniha Brožovaná
common.buy 7.25 €
Toxins and Contaminants in Indian Food Products Ramesh Kumar Sharma / Kniha Pevná
common.buy 109.03 €
Race, Gender, and Curriculum Theorizing Denise Taliaferro Baszile / Kniha Pevná
common.buy 114.47 €
Bond and Free, by the Author of 'Caste' Emily Jolly / Kniha Pevná
common.buy 32.67 €
The Mysteries, Pagan And Christian: Being The Hulsean Lectures For 1896-1897 (1897) Samuel Cheetham / Kniha Brožovaná
common.buy 23.69 €
Fractional Calculus for Skeptics I West / Kniha Pevná
common.buy 263.55 €
Explore English Student's Coursebook: Stage 2 Daphne Paizee / Kniha Brožovaná
common.buy 15.02 €
Still Life with Timex Elisabeth Murawski / Kniha Brožovaná
common.buy 15.73 €
Satisfiability and Model Checking in Team Based Logics Julian-Steffen Müller / Kniha Brožovaná
common.buy 24.80 €
Translation Studies in the Age of Artificial Intelligence Kanglong Liu / Kniha Brožovaná
common.buy 58.79 €
Son Philipp Meyer / Kniha Brožovaná
common.buy 16.13 €
English Shepherd. English Shepherd Dog Complete Owners Manual. English Shepherd book for care, costs, feeding, grooming, health and training. George Hoppendale / Kniha Brožovaná
common.buy 14.82 €
Paddling the Ozarks Mike Bezemek / Kniha Brožovaná
common.buy 16.13 €
Berenstain Bears Trick or Treat Jan Berenstain / Kniha Brožovaná
common.buy 5.13 €
Plato Plato / Kniha Brožovaná
common.buy 44.87 €
Mandarin Aaron Kunin / Kniha Brožovaná
common.buy 18.04 €
Learning in a Burning House Sonya Douglass Horsford / Kniha Brožovaná
common.buy 35.19 €
Undead Next Door Kerrelyn Sparks / Kniha Brožovaná
common.buy 6.95 €
Nonmetallic Materials and Composites at Low Temperature G. Hartwig / Kniha Brožovaná
common.buy 51.53 €
The Dragon King: An Elemental spin-off novella T. B. Wiese / Kniha Brožovaná
common.buy 11.19 €
Pikes Peak Echo Nov. 1885-June 1886; 1 Colorado College / Kniha Pevná
common.buy 31.76 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?