Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Verifying Temporal Properties of Systems by J.C. Bradfield (English) Paperback B

Ø 0.0

0 Bewertungen

69,60 €

By J.C. Bradfield. Author J.C. Bradfield. Verifying Temporal Properties of Systems. This monograph aims to provide a powerful general-purpose proof tech nique for the verification of systems, whether finite or infinite.

Jetzt bei Ebay:

ISBN-13:

9781468468212
Book Title:

Verifying Temporal Properties of Systems
ISBN:

9781468468212

None:

International Standard : tracked-no signature (7 to 15 business days) 14,22 EUR - Lieferung zwischen 20. May 2025 und 30. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Russische Föderation , Belarus , Irland , Ukraine , Großbritannien , Algerien , Angola , Benin , Botsuana , Burkina Faso , ... und weitere