UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Back to results

Calendars as types data modeling, constraint reasoning and type checking with calendar

LMU University Library Online Catalogue (1/1)

Save in:
Display:
 

Calendars as types : data modeling, constraint reasoning and type checking with calendar

Author: Spranger, Stephanie
Place, Publisher, Year: München, Utz, 2006
Physical Details: XVIII, 284 S.
ISBN/ISSN/ISMN 3831605645
Subject chain: Zeit / Begriff / Kalender / Datentyp / Typprüfung / Constraint-basiertes Schließen
Informatik:   Alle Einzelbände

  • Holdings
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Get document
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • More title information
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Author:Spranger, Stephanie
Main title:Calendars as types
Subtitle:data modeling, constraint reasoning and type checking with calendar
Author statement:von Stephanie Spranger
Place:München
Publisher:Utz
Year:2006
Physical Details:XVIII, 284 S.
Illustration:Ill.,
ISBN/ISSN/ISMN:3831605645
Note:Zugl.: München, Univ., Diss., 2005
Series:Informatik
Volume statement:85
BV-Nummer:BV021503173