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

Robert P. Kurshan | Computer-Aided Verification of Coordinating Processes | Buch

Ø 0.0

0 Bewertungen

129,95 €

Titel: Computer-Aided Verification of Coordinating Processes | Zusatz: The Automata-Theoretic Approach | Medium: Buch | Autor: Robert P. Kurshan | Einband: Gebunden | Inhalt: Einband - fest (Hardcover) | Sprache: Englisch | Seiten: 284 | Maße: 240 x 161 x 20 mm | Erschienen: 19.04.2016 | Anbieter: Faboplay.

Jetzt bei Ebay:

Buchtitel:

Computer-Aided Verification of Coordinating Processes
Autor:

Robert P. Kurshan
Sprache:

Englisch
Erscheinungsjahr:

2016
Anzahl der Seiten:

284
Marke:

Princeton University Press
Hersteller:

Princeton University Press
Verlag:

Princeton University Press
Format:

Gebundene Ausgabe
Genre:

Importe
Titelzusatz:

The Automata-Theoretic Approach
Schlagworte:

Mathematik, Analysis, Komplexe Analysis, komplexe Variablen, Funk
Herstellungsland und -region:

Deutschland
ISBN:

0691634890

Standardversand:

DHL Paket 2,95 EUR - Lieferung zwischen 25. June 2025 und 01. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere