Verification, Model Checking, and Abstract Interpretation

Idioma: inglés

Editorial: Springer Berlin Heidelberg, 2008

3540781625 / 9783540781622

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: moluna, Greven, Alemaniamoluna

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 9 de julio de 2020

Tapa blanda

Condición: Nuevo

EUR 48,37

Envío por EUR 48,99 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

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

Descripción del artículo del vendedor

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.- CTL as an Intermediate Language.- Multi-valued Logics, Automata, Simulations, and Games.- Verification of Register Allocators.- Program Analysis and Programming Languages for Securi.

N° de ref. del artículo 4900872

Título
Verification, Model Checking, and Abstract Interpretation
Autor
Logozzo, Francesco|Peled, Doron A.|Zuck, Leonore D.
Editorial
Springer Berlin Heidelberg
Año de publicación
2008
Estado
New
Encuadernación
Kartoniert / Broschiert
Idioma
inglés
ISBN 10
3540781625
ISBN 13
9783540781622
Catálogos de vendedores
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 9 de julio de 2020

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

ArtículoDe 16 a 45 días hábilesDe 16 a 45 días hábiles
Primer artículoEUR 48,99EUR 48,99
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
  • Giro bancario
  • PayPal

Descripción de la tienda

Online Handel nur mit Neubüchern

Información empresarial del vendedor

Moluna GmbH

Engberdingdamm 27
Greven, Alemania 48268