The Foundations of Program Verification

Idioma: alemán

Editorial: Vieweg+Teubner Verlag, 2013

3322967549 / 9783322967541

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: Home-set, Mannheim, AlemaniaHome-set

Vendedor de 5 estrellas

Vendedor de IberLibro desde 13 de abril de 2026

Tapa blanda

Condición: Nuevo

EUR 44,99

Envío por EUR 49,90 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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.

Título
The Foundations of Program Verification
Autor
Kurt Sieber
Editorial
Vieweg+Teubner Verlag
Año de publicación
2013
Estado
Neu
Encuadernación
Softcover/Taschenbuch
Idioma
alemán
ISBN 10
3322967549
ISBN 13
9783322967541
Edición
2ª Edición
Peso del artículo
360 gramos

Home-set

Mannheim, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 13 de abril de 2026

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 10 a 12 días hábilesDe 8 a 10 días hábiles
Primer artículoEUR 49,90EUR 75,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque

Especialidad

Buch

Información empresarial del vendedor

Home-set

Alemania