Extending Temporal Logic with Omega-automata

Nir Piterman

ISBN 10: 3838322061 ISBN 13: 9783838322063
Verlag: LAP LAMBERT Academic Publishing Okt 2009, 2009
Sprache: Englisch
Neu Zustand: Neu Softcover

Verkauft von buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

AbeBooks-Verkäufer seit 23. Januar 2017

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: Neu

Preis: EUR 49,00 Währung umrechnen
Kostenlos für den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb legen