Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

N� de r�f. du vendeur M00521883334-V

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Real-Time Systems: Formal Specification and Automatic Verification
�diteur: Cambridge University Press
Date de parution: 2008
Langue: anglais
ISBN � 10 chiffres: 0521883334
ISBN � 13 chiffres: 9780521883337
Reliure: Couverture rigide
�tat de l'article: very good

A propos de ce titre

Synopsis

Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.

� propos des auteurs

E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).

H. Dierks is a researcher currently working with OFFIS, a technology transfer institute for computer science in Oldenburg, Germany.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

**WILLKOMMEN** im AbeBooks Shop von medimops - dein Onlineshop mit der gr��ten Auswahl an Second Hand B�chern. St�ber dich durch �ber 4 Millionen Artikel und spare bis zu 70 % im Vergleich zum Neupreis. Wir pr�fen alle Artikel sorgf�ltig auf Qualit�t und Funktionalit�t. **WELCOME** to the medimop's AbeBooks shop, the online shop with a large range of second-hand books. Browse more than 4 million articles and save up to 70% on the new price. All our articles are quality checked. ** BIENVENUE ** dans la boutique AbeBooks de momox shop! Sp�cialiste des articles culturels d'occasion, nous vous offrons une gamme diversifi�e de livres d'occasion. D�couvrez nos offres et �conomisez jusqu'� 70% du prix neuf! Nous grarantissons tous nos articles en bon �tat. ** BENVENUTI ** nello shop medimops di AbeBooks, lo shop online per i libri usati. Abbiamo piu�di 4 milioni di articoli e potete risparmiare fino al 70% rispetto al nuovo. Tutti i nostri prodotti sono controllati a mano per garantire la massima qualit�. ** BIENVENIDO ** a la tienda de medimops en AbeBooks, la tienda online con una gran oferta de libros de segunda mano. Navegue por m�s de 4 millones de art�culos y ahorre hasta un 70% sobre el precio nuevo. Todos nuestros art�culos son de calidad comprobada.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

momox SE
Schreiberhauer Stra�e 30, Berlin, 10317, Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

1. Champ d'application

Les CGV suivantes s'appliquent � toutes les commandes pass�es via notre Boutique sur le Marketplace d'AbeBooks. Sauf accord contraire, l'int�gration de vos propres conditions, le cas �ch�ant, est exclue.

2. partie contractante, conclusion du contrat, possibilit�s de correction

Le contrat de vente est conclu avec momox SE.

L'objet du contrat est la vente de marchandises.

Si nous mettons un Article en ligne sur Abebooks, l'activation de la Page d'offre sur Abebooks constitue...

Pour plus d'information