Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, CH, 2019
ISBN 10: 3030007030 ISBN 13: 9783030007034
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
EUR 77,44
Anzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. 2019 ed.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 64,96
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 71,98
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, CH, 2019
ISBN 10: 3030007030 ISBN 13: 9783030007034
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
EUR 67,57
Anzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. 2019 ed.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 180,78
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 244 pages. 9.25x6.10x0.79 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, 2019
ISBN 10: 3030007030 ISBN 13: 9783030007034
Anbieter: moluna, Greven, Deutschland
EUR 109,83
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Describes a new approach, developed by the authors, for proving properties about the behaviors of systems using temporal logicReview of the prerequisite material included where needed in order to make a difficult topic more accessible.