Systems and Software Verification

Lingua: inglese

Editore: Springer Berlin Heidelberg, 2001

3540415238 / 9783540415237

Da: moluna, Greven, Germaniamoluna

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

Visualizza gli articoli di questo venditore
Rilegato

Condizione: Nuovo

EUR 128,41

EUR 48,99 spedizione 
Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An introduction to software verificationModel checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not corr.

Codice articolo 4889302

Titolo
Systems and Software Verification
Autore
B. Berard|M. Bidoit|A. Finkel|F. Laroussinie|A. Petit|L. Petrucci|P. Schnoebelen
Editore
Springer Berlin Heidelberg
Anno di pubblicazione
2001
Condizione
New
Rilegatura
Gebunden
Lingua
inglese
ISBN 10
3540415238
ISBN 13
9783540415237
Dimensioni
1.5 x 24 x 16
Cataloghi dei venditori
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

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

ArticoloDa 16 a 45 giorni lavorativiDa 16 a 45 giorni lavorativi
Primo articoloEUR 48,99EUR 48,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
  • Assegno
  • Bonifico bancario
  • PayPal

Descrizione dello Store

Online Handel nur mit Neubüchern

Informazioni sull’azienda del venditore

Moluna GmbH

Engberdingdamm 27
Greven, Germania 48268