Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer, Berlin
SKU: 46813857
Price: 59.09 EUR
Availability: InStock
Author: Sidney C. Nogueira
ISBN: 9783031781155

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

Sidney C. Nogueira

Ciprian Teodorov

Lingua

Inglese

Libro In brossura

Codice Libristo: 46813857

Casa editrice Springer, Berlin, dicembre 2024

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Fo... Descrizione completa

Codice Libristo: 46813857

145 b

59.09 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Os Bochechas. Animais do bosque CARREIRO MONTEIRO

In brossura

13.89 €

MIGUEL FISAC ASENSIO WANDOSELL

Libro

21.19 €

Anne de Avonlea - Vol. 2 da serie Anne de Green Gables Lucy Maud Montgomery

In brossura

24.99 €

Jaroslav Velc V oblacích Ondřej Neff

Rigido

70.09 €

Co se tenkrát nemohlo napsat Jiří Haleš

Rigido

11.79 €

Mon coach pour le mémoire de fin d'études en IFSI Mendes

In brossura

16.09 €

Siatka danych. Nowoczesna koncepcja samoobsługowej infrastruktury danych Zhamak Dehghani

In brossura

15.09 €

Jean-Baptiste de La Salle, Emmanuel Mounier : deux chrétiens engagés dans leur siècle FORET

In brossura

25.49 €

Opowiastki do przemyślenia Bucay Jorge

Rigido

9.79 €

Journal International de Bioéthique et d'Ethique des Sciences 2-2024 Byk

Libro

37.39 €

Desert Habitat

Giocattolo

14.49 €

Přesedni na můj vůz Květa Monhartová

In brossura

0.59 €

Emotionale Intelligenz im Biologie-Unterricht zur Foerderung der Konfliktfahigkeit von Schulern Stephan Niemeier

In brossura

14.09 €

Deutsche Sicherheitsstrukturen im 21. Jahrhundert. Streitbare Demokratie und ihre institutionelle Umsetzung durch den Verfassungsschutz Lars Normann

In brossura

37.29 €

Korrektes Ausfüllen des Zeitnachweisbogens (Unterweisung Diplom-Betriebswirt / -in) Susanne Mayer

In brossura

11.79 €

Oeuvres Illustrees de George Sand. 3 (Ed.1852-1856) Sand

In brossura

21.49 €

Das Deutsche Poplied ALS Textsorte Agnieszka Marta Kurzynska

Rigido

45.09 €

Libertarianizm Krytyka Tomasz Teluk

In brossura

6.29 €

Tantra : el camino de la aceptación Osho

In brossura

13.39 €

Proverbes créoles Volume 6 Pancho

In brossura

9.29 €

Historia de la vejez : de la Antigüedad al Renacimiento Georges Minois

In brossura

30.29 €

Ukhruj Minha YA Maluon: Novel in Arabic Saddam Hussein

In brossura

23.69 €

Skvělý ScrumMaster Zuzana Šochová

In brossura

12.69 €

Que Vuelvan Las Vacas Locas! Carles Arbat

In brossura

21.29 €

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.