Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Idioma: inglés

Editorial: Springer Berlin Heidelberg, 1985

3540151990 / 9783540151999

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: moluna, Greven, Alemaniamoluna

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 9 de julio de 2020

Ver los artículos de este vendedor
Tapa blanda

Condición: Nuevo

EUR 45,74

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. On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of modules.- Intuition in software development.- A rational de.

N° de ref. del artículo 4882518

Detalles bibliográficos

Título
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Autor
Ehrig, Hartmut|Floyd, Christiane|Nivat, Maurice|Thatcher, James
Editorial
Springer Berlin Heidelberg
Año de publicación
1985
Estado
New
Encuadernación
Encuadernación de tapa blanda
Idioma
inglés
ISBN 10
3540151990
ISBN 13
9783540151999
Catálogos de vendedores
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 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