Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods: Foundations and Applications

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods: Foundations and Applications Sidney C. Nogueira
Libristo kod: 46813857
Nakladnici Springer, Berlin, prosinac 2024
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Fo... Cijeli opis
? points 162 b
67.06 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Jaroslav Velc V oblacích Ondřej Neff / Knjiga Tvrdi uvez
common.buy 75.45 €
Anne de Avonlea - Vol. 2 da serie Anne de Green Gables Lucy Maud Montgomery / Knjiga Meki uvez
common.buy 29.63 €
Co se tenkrát nemohlo napsat Jiří Haleš / Knjiga Tvrdi uvez
common.buy 12.63 €
Mon coach pour le mémoire de fin d'études en IFSI Mendes / Knjiga Meki uvez
common.buy 19.21 €
Siatka danych. Nowoczesna koncepcja samoobsługowej infrastruktury danych Zhamak Dehghani / Knjiga Meki uvez
common.buy 18.81 €
Jean-Baptiste de La Salle, Emmanuel Mounier : deux chrétiens engagés dans leur siècle FORET / Knjiga Meki uvez
common.buy 30.24 €
Opowiastki do przemyślenia Bucay Jorge / Knjiga Tvrdi uvez
common.buy 11.93 €
Journal International de Bioéthique et d'Ethique des Sciences 2-2024 Byk / Knjiga Knjiga
common.buy 44.20 €
Top
Desert Habitat / Igra/Igračka Igračka
common.buy 16.68 €
Povoljno
Přesedni na můj vůz Květa Monhartová / Knjiga Meki uvez
common.buy 0.60 €
MIGUEL FISAC ASENSIO WANDOSELL / Knjiga Knjiga
common.buy 24.77 €
Os Bochechas. Animais do bosque CARREIRO MONTEIRO / Knjiga Meki uvez
common.buy 16.18 €
PECHE EN MER A LA VOILE MARIN / Knjiga Meki uvez
common.buy 15.06 €
Schritt fur Schritt in Alltag und Beruf Daniela Niebisch / Knjiga Meki uvez
common.buy 21.84 €
Que Vuelvan Las Vacas Locas! Carles Arbat / Knjiga Meki uvez
common.buy 24.17 €
Ukhruj Minha YA Maluon: Novel in Arabic Saddam Hussein / Knjiga Meki uvez
common.buy 28.31 €
Historia de la vejez : de la Antigüedad al Renacimiento Georges Minois / Knjiga Meki uvez
common.buy 35.60 €
Emotionale Intelligenz im Biologie-Unterricht zur Foerderung der Konfliktfahigkeit von Schulern Stephan Niemeier / Knjiga Meki uvez
common.buy 16.18 €
Tantra : el camino de la aceptación Osho / Knjiga Meki uvez
common.buy 15.77 €
Libertarianizm Krytyka Tomasz Teluk / Knjiga Meki uvez
common.buy 7.68 €
Das Deutsche Poplied ALS Textsorte Agnieszka Marta Kurzynska / Knjiga Tvrdi uvez
common.buy 51.28 €
Oeuvres Illustrees de George Sand. 3 (Ed.1852-1856) Sand / Knjiga Meki uvez
common.buy 26.19 €
Korrektes Ausfüllen des Zeitnachweisbogens (Unterweisung Diplom-Betriebswirt / -in) Susanne Mayer / Knjiga Meki uvez
common.buy 13.54 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods: Foundations and Applications
Autor Sidney C. Nogueira, Ciprian Teodorov
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2024
Broj stranica 210
EAN 9783031781155
Libristo kod 46813857
Nakladnici Springer, Berlin
Težina 347
Dimenzije 155 x 235

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

War of the Bloods in My Veins Dashaun "Jiwe" Morris / Knjiga Meki uvez
common.buy 13.95 €
Salem's Vengeance Aaron Galvin / Knjiga Meki uvez
common.buy 13.04 €
Patience Wins: War in the Works George Manville Fenn / Knjiga Meki uvez
common.buy 7.68 €
Toxins and Contaminants in Indian Food Products Ramesh Kumar Sharma / Knjiga Tvrdi uvez
common.buy 109.34 €
Race, Gender, and Curriculum Theorizing Denise Taliaferro Baszile / Knjiga Tvrdi uvez
common.buy 114.80 €
Bond and Free, by the Author of 'Caste' Emily Jolly / Knjiga Tvrdi uvez
common.buy 34.48 €
World of Aluna #2 PAULA GARCES / Knjiga Meki uvez
common.buy 7.88 €
The Mysteries, Pagan And Christian: Being The Hulsean Lectures For 1896-1897 (1897) Samuel Cheetham / Knjiga Meki uvez
common.buy 25.08 €
Fractional Calculus for Skeptics I West / Knjiga Tvrdi uvez
common.buy 276.55 €
Explore English Student's Coursebook: Stage 2 Daphne Paizee / Knjiga Meki uvez
common.buy 15.06 €
Still Life with Timex Elisabeth Murawski / Knjiga Meki uvez
common.buy 15.77 €
Satisfiability and Model Checking in Team Based Logics Julian-Steffen Müller / Knjiga Meki uvez
common.buy 24.87 €
The Dragon King: An Elemental spin-off novella T. B. Wiese / Knjiga Meki uvez
common.buy 11.72 €
Son Philipp Meyer / Knjiga Meki uvez
common.buy 17.29 €
English Shepherd. English Shepherd Dog Complete Owners Manual. English Shepherd book for care, costs, feeding, grooming, health and training. George Hoppendale / Knjiga Meki uvez
common.buy 15.57 €
Paddling the Ozarks Mike Bezemek / Knjiga Meki uvez
common.buy 17.19 €
Translation Studies in the Age of Artificial Intelligence Kanglong Liu / Knjiga Meki uvez
common.buy 61.70 €
Berenstain Bears Trick or Treat Jan Berenstain / Knjiga Meki uvez
common.buy 5.55 €
Plato Plato / Knjiga Meki uvez
common.buy 45.00 €
Mandarin Aaron Kunin / Knjiga Meki uvez
common.buy 18.10 €
Learning in a Burning House Sonya Douglass Horsford / Knjiga Meki uvez
common.buy 35.29 €
Undead Next Door Kerrelyn Sparks / Knjiga Meki uvez
common.buy 6.97 €
Nonmetallic Materials and Composites at Low Temperature G. Hartwig / Knjiga Meki uvez
common.buy 51.68 €
Pikes Peak Echo Nov. 1885-June 1886; 1 Colorado College / Knjiga Tvrdi uvez
common.buy 33.57 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?