Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 32,15
Währung umrechnenAnzahl: 5 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 46,13
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. New copy - Usually dispatched within 4 working days. 185.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 51,83
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 47,81
Währung umrechnenAnzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 56,67
Währung umrechnenAnzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: Books Puddle, New York, NY, USA
EUR 56,28
Währung umrechnenAnzahl: 3 verfügbar
In den WarenkorbZustand: New. 1st edition NO-PA16APR2015-KAP.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 49,86
Währung umrechnenAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
EUR 48,83
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 51,81
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 55,25
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 58,32
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Verlag: Ucl, 1995
Anbieter: Librodifaccia, Alessandria, AL, Italien
EUR 25,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Buone. inglese Condizioni dell'esterno: discrete, manca sovracoperta Condizioni dell'interno: Molto buone.
EUR 72,06
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 332 pages. 9.25x6.19x0.77 inches. In Stock.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 47,94
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 120,07
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 108,41
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
EUR 44,13
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 164,32
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: New. New copy - Usually dispatched within 4 working days. 185.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 169,24
Währung umrechnenAnzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: Books Puddle, New York, NY, USA
EUR 187,05
Währung umrechnenAnzahl: 3 verfügbar
In den WarenkorbZustand: New. 1st edition NO-PA16APR2015-KAP.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 191,27
Währung umrechnenAnzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 212,06
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: New. New. book.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 75,82
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.