Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Lingua: inglese

Editore: Springer, 2023

3031301668 / 9783031301667

Serie: Libro 79 di 83 - Texts in Computer Science

Da: Biblios, frankfurt am main, hessen, GermaniaBiblios

Venditore con 4 stelle

Venditore AbeBooks dal 10 settembre 2024

Rilegato

Condizione: Nuovo

EUR 141,94

EUR 9,95 spedizione 
Spedito da Germania a U.S.A.

Quantità: 4 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

PRINT ON DEMAND.

Codice articolo 18396297988

Titolo
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Autore
Huisman, Marieke; Wijs, Anton
Editore
Springer
Anno di pubblicazione
2023
Condizione
New
Rilegatura
Rilegato
Lingua
inglese
ISBN 10
3031301668
ISBN 13
9783031301667
Serie
Libro 79 di 83: Texts in Computer Science

Biblios

frankfurt am main, hessen, Germania

Venditore con 4 stelle

Venditore AbeBooks dal 10 settembre 2024

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

ArticoloDa 25 a 45 giorni lavorativiDa 8 a 14 giorni lavorativi
Primo articoloEUR 9,95EUR 18,70
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

Descrizione dello Store

We carry a wide selection of books from South Asia, United States, UK.

Specializzazione

new books imported from india, uk, usa

Informazioni sull’azienda del venditore

Readingos GmbH

Kaiserstraße 47
Frankfurt am Main, Germania 60329