Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Temporal Logic: Volume 2

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Temporal Logic: Volume 2 Dov M. Gabbay
Libristo-code: 04527497
Uitgeverij Oxford University Press, maart 2000
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily... Volledige beschrijving
? points 777 b
321.66 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Dit vind je misschien ook interessant

Temporal Logic Dov M. Gabbay / Boek Gebonden (paperback)
common.buy 119.81 €
Temporal Logic: Volume 1 Dov M. Gabbay / Boek Gebonden (harde band)
common.buy 514.51 €
For Your Eyes Only Ian Fleming / Boek Gebonden (paperback)
common.buy 10.32 €
Dentist and a Gentleman Tracey L. Adams / Boek Gebonden (harde band)
common.buy 67.04 €
My Deepest Heart's Devotions 5 Gertrude Kabatalemwa / Boek Gebonden (paperback)
common.buy 13.76 €
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 / Boek Gebonden (harde band)
common.buy 50.63 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Temporal Logic: Volume 2
Auteur Dov M. Gabbay, etc., M. Finger, M Reynolds
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2000
Aantal pagina's 612
EAN 9780198537687
ISBN 0198537689
Libristo-code 04527497
Uitgeverij Oxford University Press
Gewicht 1102
Afmetingen 164 x 245 x 37

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geneeskunde en verpleging > Geneeskunde: algemene onderwerpen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?