Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods: Foundations and Applications

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

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods: Foundations and Applications Sidney C. Nogueira
Kod Libristo: 46813857
Wydawnictwo Springer, Berlin, grudzień 2024
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Fo... Cały opis
? points 162 b
286.34 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Jaroslav Velc V oblacích Ondřej Neff / Książka Twarda
common.buy 341.43 zł
Anne de Avonlea - Vol. 2 da serie Anne de Green Gables Lucy Maud Montgomery / Książka Miękka
common.buy 126.64 zł
Co se tenkrát nemohlo napsat Jiří Haleš / Książka Twarda
common.buy 57.30 zł
Mon coach pour le mémoire de fin d'études en IFSI Mendes / Książka Miękka
common.buy 85.70 zł
Siatka danych. Nowoczesna koncepcja samoobsługowej infrastruktury danych Zhamak Dehghani / Książka Miękka
common.buy 70.74 zł
Jean-Baptiste de La Salle, Emmanuel Mounier : deux chrétiens engagés dans leur siècle FORET / Książka Miękka
common.buy 135.13 zł
Opowiastki do przemyślenia Bucay Jorge / Książka Twarda
common.buy 42.54 zł
Journal International de Bioéthique et d'Ethique des Sciences 2-2024 Byk / Książka Książka
common.buy 197.39 zł
TOP
Desert Habitat / Gra/Zabawka Zabawka
common.buy 71.25 zł
Tanie
Přesedni na můj vůz Květa Monhartová / Książka Miękka
common.buy 2.62 zł
MIGUEL FISAC ASENSIO WANDOSELL / Książka Książka
common.buy 110.26 zł
Os Bochechas. Animais do bosque CARREIRO MONTEIRO / Książka Miękka
common.buy 71.96 zł
PECHE EN MER A LA VOILE MARIN / Książka Miękka
common.buy 67.00 zł
Schritt fur Schritt in Alltag und Beruf Daniela Niebisch / Książka Miękka
common.buy 93.28 zł
Que Vuelvan Las Vacas Locas! Carles Arbat / Książka Miękka
common.buy 103.39 zł
Ukhruj Minha YA Maluon: Novel in Arabic Saddam Hussein / Książka Miękka
common.buy 120.98 zł
Historia de la vejez : de la Antigüedad al Renacimiento Georges Minois / Książka Miękka
common.buy 159.29 zł
Emotionale Intelligenz im Biologie-Unterricht zur Foerderung der Konfliktfahigkeit von Schulern Stephan Niemeier / Książka Miękka
common.buy 69.13 zł
Tantra : el camino de la aceptación Osho / Książka Miękka
common.buy 70.54 zł
Libertarianizm Krytyka Tomasz Teluk / Książka Miękka
common.buy 29.60 zł
Das Deutsche Poplied ALS Textsorte Agnieszka Marta Kurzynska / Książka Twarda
common.buy 206.89 zł
Oeuvres Illustrees de George Sand. 3 (Ed.1852-1856) Sand / Książka Miękka
common.buy 111.98 zł
Korrektes Ausfüllen des Zeitnachweisbogens (Unterweisung Diplom-Betriebswirt / -in) Susanne Mayer / Książka Miękka
common.buy 57.91 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods: Foundations and Applications
Autor Sidney C. Nogueira, Ciprian Teodorov
Język Angielski
Oprawa Książka - Miękka
Data wydania 2024
Liczba stron 210
EAN 9783031781155
Kod Libristo 46813857
Wydawnictwo Springer, Berlin
Waga 347
Wymiary 155 x 235

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

War of the Bloods in My Veins Dashaun "Jiwe" Morris / Książka Miękka
common.buy 59.62 zł
Salem's Vengeance Aaron Galvin / Książka Miękka
common.buy 55.78 zł
Patience Wins: War in the Works George Manville Fenn / Książka Miękka
common.buy 32.64 zł
Toxins and Contaminants in Indian Food Products Ramesh Kumar Sharma / Książka Twarda
common.buy 488.90 zł
Race, Gender, and Curriculum Theorizing Denise Taliaferro Baszile / Książka Twarda
common.buy 465.75 zł
Bond and Free, by the Author of 'Caste' Emily Jolly / Książka Twarda
common.buy 147.16 zł
World of Aluna #2 PAULA GARCES / Książka Miękka
common.buy 33.65 zł
The Mysteries, Pagan And Christian: Being The Hulsean Lectures For 1896-1897 (1897) Samuel Cheetham / Książka Miękka
common.buy 106.93 zł
Fractional Calculus for Skeptics I West / Książka Twarda
common.buy 1 180.46 zł
Explore English Student's Coursebook: Stage 2 Daphne Paizee / Książka Miękka
common.buy 64.38 zł
Still Life with Timex Elisabeth Murawski / Książka Miękka
common.buy 67.41 zł
Satisfiability and Model Checking in Team Based Logics Julian-Steffen Müller / Książka Miękka
common.buy 106.22 zł
The Dragon King: An Elemental spin-off novella T. B. Wiese / Książka Miękka
common.buy 50.22 zł
Son Philipp Meyer / Książka Miękka
common.buy 73.78 zł
English Shepherd. English Shepherd Dog Complete Owners Manual. English Shepherd book for care, costs, feeding, grooming, health and training. George Hoppendale / Książka Miękka
common.buy 66.50 zł
Paddling the Ozarks Mike Bezemek / Książka Miękka
common.buy 73.17 zł
Translation Studies in the Age of Artificial Intelligence Kanglong Liu / Książka Miękka
common.buy 263.60 zł
Berenstain Bears Trick or Treat Jan Berenstain / Książka Miękka
common.buy 23.84 zł
Plato Plato / Książka Miękka
common.buy 192.34 zł
Mandarin Aaron Kunin / Książka Miękka
common.buy 77.41 zł
Learning in a Burning House Sonya Douglass Horsford / Książka Miękka
common.buy 150.49 zł
Undead Next Door Kerrelyn Sparks / Książka Miękka
common.buy 32.13 zł
Nonmetallic Materials and Composites at Low Temperature G. Hartwig / Książka Miękka
common.buy 220.54 zł
Pikes Peak Echo Nov. 1885-June 1886; 1 Colorado College / Książka Twarda
common.buy 143.21 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?