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

3831605645
Zeit Begriff Kalender Datentyp Typprüfung Constraint-basiertes Schließen
Volume, see parent title
  • 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