Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel et Job Zwiers
Verkauft von Ammareal, Morangis, Frankreich
AbeBooks-Verkäufer seit 29. August 2016
Gebraucht - Hardcover
Zustand: Très bon
Anzahl: 1 verfügbar
In den Warenkorb legen