Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)

St� len, Ketil,Broy, Manfred

ISBN 10: 0387950737 ISBN 13: 9780387950730

Editorial: Springer, 2001

Idioma: Ingl�s

Condici�n: Usado - Aceptable Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por HPB-Red, Dallas, TX, Estados Unidos de America

Vendedor de AbeBooks desde 11 de marzo de 2019

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Aceptable

Precio: EUR 10,63 Convertir moneda

EUR 92,69 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

N� de ref. del art�culo S_409607758

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)
Editor: Springer
Fecha de publicaci�n: 2001
Idioma: Ingl�s
ISBN 10: 0387950737
ISBN 13: 9780387950730
Encuadernaci�n: Hardcover
Estado: Good

Acerca de

Sinopsis

A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.

Rese�a del editor

A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Half Price Books has been connecting readers to great books since 1972. Customer service is our top priority.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Half Price Books, Records, Magazines, Inc.
5803 E. Northwest Hwy., Dallas, TX, 75231, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Condiciones de env�o

M�todos de pago

A�adir una petici�n