- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Temporal Logic: Volume 1
Dov M. Gabbay, Ian Hodkinson, Mark (, Dept of Ciencia da ComputacaoUniv Sao Paulo, Brazil) Rey
€ 516,45
+ 1032 punten
Omschrijving
BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 668
- Reeks:
Eigenschappen
- Productcode (EAN):
- 9780198537694
- Verschijningsdatum:
- 21/07/1994
- Uitvoering:
- Hardcover
- Afmetingen:
- 163 mm x 246 mm
- Gewicht:
- 1214 g
Alleen bij Standaard Boekhandel
+ 1032 punten op je klantenkaart van Standaard Boekhandel
AANGERADEN
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.