The Foundations of Program Verification

Lingua: tedesco

Editore: Vieweg+Teubner Verlag, 2013

3322967549 / 9783322967541

Da: Home-set, Mannheim, GermaniaHome-set

Venditore con 5 stelle

Venditore AbeBooks dal 13 aprile 2026

Brossura

Condizione: Nuovo

EUR 44,99

EUR 49,90 spedizione 
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

1 Mathematical Preliminaries.- 2 Predicate Logic.- 3 Three Simple Programming Languages.- 4 Fixpoints in Complete Partial Orders.- 5 Denotational Semantics.- 6 Correctness of Programs.- 7 The Classical Methods of Floyd.- 8 The Axiomatic Method of Hoare.- 9 Verification Methods Based on Denotational Semantics.- 10 LCF, A Logic for Computable Functions.- 11 An Overview of Further Developments. De Gewicht in Gramm: 360.

Titolo
The Foundations of Program Verification
Autore
Kurt Sieber
Editore
Vieweg+Teubner Verlag
Anno di pubblicazione
2013
Condizione
Neu
Rilegatura
Softcover/Taschenbuch
Lingua
tedesco
ISBN 10
3322967549
ISBN 13
9783322967541
Edizione
seconda edizione
Peso dell'articolo
360 grammi

Home-set

Mannheim, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 13 aprile 2026

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

ArticoloDa 10 a 12 giorni lavorativiDa 8 a 10 giorni lavorativi
Primo articoloEUR 49,90EUR 75,00
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

Specializzazione

Buch

Informazioni sull’azienda del venditore

Home-set

Germania