Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Temporal Logic: Volume 2

Sprache EnglischEnglisch
Buch Hardcover
Buch Temporal Logic: Volume 2 Dov M. Gabbay
Libristo-Code: 04527497
Verlag Oxford University Press, März 2000
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily... Vollständige Beschreibung
? points 810 b
331.09 € inkl. MwSt.
Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Temporal Logic Dov M. Gabbay / Buch Broschur
common.buy 118.29 €
Temporal Logic: Volume 1 Dov M. Gabbay / Buch Hardcover
common.buy 507.99 €
For Your Eyes Only Ian Fleming / Buch Broschur
common.buy 10.69 €
Dentist and a Gentleman Tracey L. Adams / Buch Hardcover
common.buy 69.89 €
My Deepest Heart's Devotions 5 Gertrude Kabatalemwa / Buch Broschur
common.buy 14.19 €
The Sixth and Seventh Books of Herodotus: With a Life of Herodotus, an Epitome of His History, a Summary of the Dialect, and Explanatory Notes (1885) Herodotus / Buch Hardcover
common.buy 52.39 €

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Temporal Logic: Volume 2
Autor Dov M. Gabbay, etc., M. Finger, M Reynolds
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2000
Anzahl der Seiten 612
EAN 9780198537687
ISBN 0198537689
Libristo-Code 04527497
Verlag Oxford University Press
Gewicht 1102
Abmessungen 164 x 245 x 37

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Medizin > Medizin, allgemein
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?