Druck auf Anfrage Neuware - Printed after ordering - 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; andFormal Methods for Security and Privacy. Codice articolo 9783031781155

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Formal Methods: Foundations and Applications...

Casa editrice: Springer Nature Switzerland, Springer Nature Switzerland

Data di pubblicazione: 2024

Legatura: Taschenbuch

Condizione: Neu

Descrizione articolo

Riassunto:

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Das Unternehmen AHA-BUCH GmbH: Seit der Gr�ndung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisg�nstig wie m�glich ihren B�cherwunsch zu erf�llen. Unsere Firma besch�ftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine W�nsche! Auf �ber 3700 m2 Fl�che haben wir �ber 100.000 B�cher, Modernes Antiquariat und Spiele auf Lager.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

AHA-BUCH GmbH
Garlebsen 48, Einbeck, 37574, Germany

Condizioni di vendita:

Termini e condizioni generali e informazioni sul cliente / Informativa sulla privacy

I. Condizioni generali di contratto

� 1 Disposizioni di base

(1) I seguenti termini e condizioni si applicano a tutti i contratti che l'utente conclude con noi in qualit� di fornitore (AHA-BUCH GmbH) tramite le piattaforme Internet AbeBooks e/o ZVAB. Se non diversamente concordato, l'inclusione di uno qualsiasi dei tuoi termini e condizioni da te utilizzati sar� contestata.
(2) Un consumatore ai sensi delle segu...

Ulteriori informazioni

Condizioni di spedizione:

Spediamo il tuo ordine dopo averlo ricevuto
per articoli a portata di mano entro 24 ore,
per articoli con fornitura notturna entro 48 ore.
Nel caso in cui abbiamo bisogno di ordinare un articolo dal nostro fornitore, il nostro tempo di spedizione dipende dalla data di ricezione degli articoli, ma gli articoli verranno spediti lo stesso giorno.

Il nostro obiettivo � quello di inviare gli articoli ordinati nel modo pi� veloce, ma anche pi� efficiente e sicuro ai nostri clienti.

Informazioni dettagliate sul venditore

Metodi di pagamento
accettati dalla libreria