Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer, Berlin, prosinec 2024
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Fo... Celý popis
? points 154 b
1 535 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Jaroslav Velc V oblacích Ondřej Neff / Kniha Pevná
common.buy 1 759 Kč
Anne de Avonlea - Vol. 2 da serie Anne de Green Gables Lucy Maud Montgomery / Kniha Brožovaná
common.buy 683 Kč
Co se tenkrát nemohlo napsat Jiří Haleš / Kniha Pevná
common.buy 306 Kč
Mon coach pour le mémoire de fin d'études en IFSI Mendes / Kniha Brožovaná
common.buy 485 Kč
Siatka danych. Nowoczesna koncepcja samoobsługowej infrastruktury danych Zhamak Dehghani / Kniha Brožovaná
common.buy 483 Kč
Jean-Baptiste de La Salle, Emmanuel Mounier : deux chrétiens engagés dans leur siècle FORET / Kniha Brožovaná
common.buy 765 Kč
Opowiastki do przemyślenia Bucay Jorge / Kniha Pevná
common.buy 307 Kč
Journal International de Bioéthique et d'Ethique des Sciences 2-2024 Byk / Kniha Kniha
common.buy 1 117 Kč
Top
Desert Habitat / Hra/Hračka Hračka
common.buy 380 Kč
Levně
Přesedni na můj vůz Květa Monhartová / Kniha Brožovaná
common.buy 15 Kč
MIGUEL FISAC ASENSIO WANDOSELL / Kniha Kniha
common.buy 626 Kč
Os Bochechas. Animais do bosque CARREIRO MONTEIRO / Kniha Brožovaná
common.buy 409 Kč
PECHE EN MER A LA VOILE MARIN / Kniha Brožovaná
common.buy 381 Kč
Schritt fur Schritt in Alltag und Beruf Daniela Niebisch / Kniha Brožovaná
common.buy 501 Kč
Que Vuelvan Las Vacas Locas! Carles Arbat / Kniha Brožovaná
common.buy 554 Kč
Ukhruj Minha YA Maluon: Novel in Arabic Saddam Hussein / Kniha Brožovaná
common.buy 651 Kč
Historia de la vejez : de la Antigüedad al Renacimiento Georges Minois / Kniha Brožovaná
common.buy 904 Kč
Emotionale Intelligenz im Biologie-Unterricht zur Foerderung der Konfliktfahigkeit von Schulern Stephan Niemeier / Kniha Brožovaná
common.buy 369 Kč
Tantra : el camino de la aceptación Osho / Kniha Brožovaná
common.buy 403 Kč
Libertarianizm Krytyka Tomasz Teluk / Kniha Brožovaná
common.buy 197 Kč
Das Deutsche Poplied ALS Textsorte Agnieszka Marta Kurzynska / Kniha Pevná
common.buy 1 173 Kč
Oeuvres Illustrees de George Sand. 3 (Ed.1852-1856) Sand / Kniha Brožovaná
common.buy 606 Kč
Korrektes Ausfüllen des Zeitnachweisbogens (Unterweisung Diplom-Betriebswirt / -in) Susanne Mayer / Kniha Brožovaná
common.buy 309 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods: Foundations and Applications
Autor Sidney C. Nogueira, Ciprian Teodorov
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2024
Počet stran 210
EAN 9783031781155
Libristo kód 46813857
Nakladatelství Springer, Berlin
Váha 347
Rozměry 155 x 235

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

War of the Bloods in My Veins Dashaun "Jiwe" Morris / Kniha Brožovaná
common.buy 319 Kč
Salem's Vengeance Aaron Galvin / Kniha Brožovaná
common.buy 299 Kč
Patience Wins: War in the Works George Manville Fenn / Kniha Brožovaná
common.buy 176 Kč
Toxins and Contaminants in Indian Food Products Ramesh Kumar Sharma / Kniha Pevná
common.buy 2 646 Kč
Race, Gender, and Curriculum Theorizing Denise Taliaferro Baszile / Kniha Pevná
common.buy 2 640 Kč
Bond and Free, by the Author of 'Caste' Emily Jolly / Kniha Pevná
common.buy 794 Kč
World of Aluna #2 PAULA GARCES / Kniha Brožovaná
common.buy 181 Kč
The Mysteries, Pagan And Christian: Being The Hulsean Lectures For 1896-1897 (1897) Samuel Cheetham / Kniha Brožovaná
common.buy 576 Kč
Fractional Calculus for Skeptics I West / Kniha Pevná
common.buy 6 395 Kč
Explore English Student's Coursebook: Stage 2 Daphne Paizee / Kniha Brožovaná
common.buy 349 Kč
Still Life with Timex Elisabeth Murawski / Kniha Brožovaná
common.buy 361 Kč
Satisfiability and Model Checking in Team Based Logics Julian-Steffen Müller / Kniha Brožovaná
common.buy 567 Kč
The Dragon King: An Elemental spin-off novella T. B. Wiese / Kniha Brožovaná
common.buy 271 Kč
Son Philipp Meyer / Kniha Brožovaná
common.buy 365 Kč
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 359 Kč
Paddling the Ozarks Mike Bezemek / Kniha Brožovaná
common.buy 391 Kč
Translation Studies in the Age of Artificial Intelligence Kanglong Liu / Kniha Brožovaná
common.buy 1 428 Kč
Berenstain Bears Trick or Treat Jan Berenstain / Kniha Brožovaná
common.buy 117 Kč
Plato Plato / Kniha Brožovaná
common.buy 1 026 Kč
Mandarin Aaron Kunin / Kniha Brožovaná
common.buy 415 Kč
Learning in a Burning House Sonya Douglass Horsford / Kniha Brožovaná
common.buy 810 Kč
Undead Next Door Kerrelyn Sparks / Kniha Brožovaná
common.buy 170 Kč
Nonmetallic Materials and Composites at Low Temperature G. Hartwig / Kniha Brožovaná
common.buy 1 182 Kč
Pikes Peak Echo Nov. 1885-June 1886; 1 Colorado College / Kniha Pevná
common.buy 772 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?