Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct | Langmaack, de Roever, Vytopil | Springer, 1994. In-8� broch�, 787p. Couverture propre. Dos solide. Int�rieur frais sans soulignage ou annotation. Exemplaire de biblioth�que : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons � l'int�rieur de l'ouvrage. Tr�s bon �tat g�n�ral [NM5+].

N� de ref. del art�culo NE-IXH4-KA16

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct
Editor: Springer
Fecha de publicaci�n: 1994
Idioma: Ingl�s
ISBN 10: 3540584684
ISBN 13: 9783540584681
Encuadernaci�n: Encuadernaci�n de tapa blanda
Estado: Tr�s bon

Acerca de

Sinopsis

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at L�beck, Germany in September 1994.
The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.

Rese�a del editor

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

Descripci�n de la librer�a

Librairie avec un fonds g�n�raliste, avec une dominante en sciences humaines et sociales.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

La bataille des livres
France

Condiciones de venta y env�o

Condiciones de venta

Derecho a cancelaci�n

Condiciones de env�o

Les commandes sont g�n�ralement exp�di�es sous deux jours. Les frais de port sont calcul�s selon les tarifs appliqu�s par La Poste. Les frais de port affich�s au moment de la commande ne sont qu'indicatifs. Au cas o� les livres command�s seraient particuli�rement lourds ou imposants ou rares, vous serez inform� que des frais de transports suppl�mentaires sont n�cessaires.

Tarifas de env�o de Francia a Espa�a

Tarifas de env�o de Francia a Espa�a
Cantidad del pedido	De 7 a 15 d�as h�biles	De 7 a 14 d�as h�biles
Primer art�culo	EUR 21.00	EUR 21.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.