Formal Methods for Industrial Critical Systems

Lingua: inglese

Editore: Springer-Verlag Gmbh Aug 2025, 2025

3032009413 / 9783032009418

Da: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, GermaniaRheinberg-Buch Andreas Meier eK

Venditore con 5 stelle

Venditore AbeBooks dal 17 novembre 2008

Brossura

Condizione: Nuovo

EUR 62,05

EUR 23,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Neuware -This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27 28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems 297 pp. Englisch.

Codice articolo 9783032009418

Titolo
Formal Methods for Industrial Critical Systems
Autore
Anne Remke
Editore
Springer-Verlag Gmbh Aug 2025
Anno di pubblicazione
2025
Condizione
Neu
Rilegatura
Taschenbuch
Lingua
inglese
ISBN 10
3032009413
ISBN 13
9783032009418
Peso dell'articolo
470 grammi
Dimensioni
235x155x17 mm

Rheinberg-Buch Andreas Meier eK

Bergisch Gladbach, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 17 novembre 2008

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

ArticoloDa 5 a 15 giorni lavorativiDa 2 a 4 giorni lavorativi
Primo articoloEUR 23,00EUR 35,99
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.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Bonifico bancario
  • PayPal

Descrizione dello Store

Online Buchhandel

Informazioni sull’azienda del venditore

Rheinberg-Buch Andreas Meier eK

Germania

Rheinberg-Buch Inh. Andreas Meier e.K.
Inhaber: Andreas Meier
De-Gasperi-Str. 8
51469 Bergisch Gladbach
Deutschland

Tel.: +4922049671181
Fax: +4922049671189
E-Mail: info@rheinberg-buch.de

Registergericht: Amtsgericht Köln
Registernummer: HRA 26456

Umsatzsteuer-Identifikationsnummer: DE122062682

Wir sind zur Teilnahme an einem Streitbeilegungsverfahren vor einer Verbraucherschlichtungsstelle weder verpflichtet noch bereit.