Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.

Codice articolo 9783319294728

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Editore

Springer International Publishing

Data di pubblicazione

2016

Lingua

Inglese

ISBN 10

3319294725

ISBN 13

9783319294728

Rilegatura

Taschenbuch

Condizione

Neu

Cataloghi dei venditori

Descrizione articolo

Riassunto

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.

The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.

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 e spedizione

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

Diritto di recesso

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.

Tariffe di spedizione da Germania a U.S.A.

Tariffe di spedizione da Germania a U.S.A.
Quantit� dell?ordine	Da 30 a 40 giorni lavorativi	Da 7 a 14 giorni lavorativi
Primo articolo	EUR 61.68	EUR 71.68

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Informazioni dettagliate sul venditore