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: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, AlemaniaVersandbuchhandlung Kisch & Co.

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 12 de febrero de 2002

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 disponible

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

Versandbuchhandlung Kisch & Co.

Fürstenberg OT Blumenow, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 12 de febrero de 2002

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

ArtículoDe 4 a 14 días hábilesDe 4 a 14 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
  • Factura
  • Giro bancario
  • PayPal

Descripción de la tienda

Wir führen Restauflagen und Mängelexemplare zu stark vergünstigten Preisen. Alle Artikel werden professionell verpackt. Zudem führen wir fast jedes lieferbare Neubuch und eine große Auswahl an Nonbook-Artikeln (Spiele, DVDs, Software). Zum Stöbern besuchen Sie doch unsere beiden Ladengeschäfte in Berlin Kreuzberg - bitte beachten Sie, dass Sie in unseren Ladengeschäften natürlich nur einen kleine Auswahl unseres Onlineangebotes vorfinden: Buchhandlung Kisch & Co. (Sortimentsbuchhandlung) Oranienstraße 25 10999 Berlin Mit dem öffentlichen Nahverkehr zu uns: (Bus M 29/ Adalbertstraße; U-Bahn U1/ Kottbusser Tor) Antiquariat Kisch & Co. Wiener Str. 17 10999 Berlin Mit dem öffentlichen Nahverkehr zu uns: (Bus M 29/ Spreewaldplatz; U-Bahn U1/Görlitzer Bahnhof) …

Especialidad

Belletristik, Fotografie/ Kunstbuch, Modernes Antiquariat, Fachbücher

Información empresarial del vendedor

Versandbuchhandlung Kisch & Co.

Alemania