Specification Case Studies in RAISE.

Idioma: inglés

Editorial: London Springer Verlag, 2002

1852333596 / 9781852333591

  • Tapa blanda
  • Usado
Ver todos los detalles

Librería: CSG Onlinebuch GMBH, Darmstadt, AlemaniaCSG Onlinebuch GMBH

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 6 de septiembre de 2022

Ver los artículos de este vendedor
Tapa blanda

Condición: Usado - Bueno

EUR 37,32

Envío por EUR 95,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 - Gut Zustand: Gut, Mängelexemplar, XV, 405 pp. About this book: This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses. Written for software engineers.

N° de ref. del artículo 15631

Título
Specification Case Studies in RAISE.
Autor
H Dang Van
Editorial
London Springer Verlag
Año de publicación
2002
Estado
Gut
Encuadernación
Softcover
Idioma
inglés
ISBN 10
1852333596
ISBN 13
9781852333591

CSG Onlinebuch GMBH

Darmstadt, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 6 de septiembre de 2022

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

ArtículoDe 60 a 60 días hábilesDe 60 a 60 días hábiles
Primer artículoEUR 95,00EUR 110,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
  • PayPal

Descripción de la tienda

Online Handel mit gebrauchten und antiquarischen Büchern.

Especialidad

Gebrauchtbücher

Información empresarial del vendedor

CSG Onlinebuch GMBH

Bunsenstr. 6
Darmstadt, Alemania 64293