This item is printed on demand - Print on Demand Titel. Neuware -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

N� de r�f. du vendeur 9783540112051

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Verifying Concurrent Processes Using Temporal Logic
�diteur: Springer Berlin Heidelberg, Springer Berlin Heidelberg M�r 1982
Date de parution: 1982
Langue: anglais
ISBN � 10 chiffres: 3540112057
ISBN � 13 chiffres: 9783540112051
Reliure: Taschenbuch
�tat de l'article: Neu

Description de la librairie

Impressum Thorsten Retsch Buchversand Mimpf2000 Ober�lschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir f�hren gebrauchte B�cher aus allen Sparten der Literatur

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

buchversandmimpf2000
Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

Widerrufsbelehrung/ Muster-Widerrufsformular/
Allgemeine Gesch�ftsbedingungen und Kundeninformationen/ Datenschutzerkl�rung

Widerrufsrecht f�r Verbraucher
(Verbraucher ist jede nat�rliche Person, die ein Rechtsgesch�ft zu Zwecken abschlie�t, die �berwiegend weder ihrer gewerblichen noch ihrer selbstst�ndigen beruflichen T�tigkeit zugerechnet werden kann.)

Widerrufsbelehrung

Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen.
Die Widerru...

Pour plus d'information

Conditions d'exp�dition

Soweit in der Artikelbeschreibung keine andere Frist angegeben ist, erfolgt die Lieferung der Ware innerhalb von 3-5 Werktagen nach Vertragsschluss, bei Vorauszahlung erst nach Eingang des vollst�ndigen Kaufpreises und der Versandkosten. Alle Preise inkl. MwSt.

Informations vendeur d�taill�es