Return to search

A framework for formal representation and transformational optimisation of executable specifications

Zugl.: Bremen, Univ., Diss., 2005

  1. http://d-nb.info/990567265/04
Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/276159381
Date January 2005
CreatorsMeyer, Thomas
PublisherBerlin Logos-Verl.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0021 seconds