FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science)

Idioma: inglés

Editorial: Springer, Berlin, 1994

3540585559 / 9783540585558

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, AlemaniaChe & Chandler Versandbuchhandlung

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 17 de junio de 2009

Ver los artículos de este vendedor
Tapa blanda

Condición: Nuevo

EUR 3,95

Envío por EUR 45,00 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

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

Descripción del artículo del vendedor

Gebraucht - Wie neu ungelesen, sehr guter Zustand; unused, very good condition; -This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value. 744 pp. Englisch.

N° de ref. del artículo INF1000087783

Título
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science)
Autor
Methods, International Symposium Of Formal
Editorial
Springer, Berlin
Año de publicación
1994
Estado
Neu
Encuadernación
Taschenbuch
Idioma
inglés
ISBN 10
3540585559
ISBN 13
9783540585558
Peso del artículo
1030 gramos
Dimensiones
235x156x37 mm

Che & Chandler Versandbuchhandlung

Fürstenberg OT Blumenow, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 17 de junio de 2009

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

ArtículoDe 8 a 14 días hábilesDe 25 a 45 días hábiles
Primer artículoEUR 45,00EUR 45,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
  • Domiciliación bancaria
  • Factura
  • Giro bancario
  • PayPal

Descripción de la tienda

Über 30.000 lieferbare Titel aus gut sortierten Sachgebieten, davon etwa 20.000 reduzierte Titel, das beste Angebot an linker Literatur und Modernem Antiquariat im deutschsprachigen Raum!

Especialidad

Politik, Geschichte, linke Literatur, soziale Bewegungen, DDR

Información empresarial del vendedor

Che & Chandler Versandbuchhandlung

Alemania