Tipsa dina vänner om produkten:
Compiling Natural Semantics - Lecture Notes in Computer Science Mikael Pettersson
Pris
SEK 559
Beställningsvara
Förväntad leverans 11 - 21 sep
Få avisering om nya utgåvor med Mikael Pettersson
Lägg till din iMusic-önskelista
eller
Compiling Natural Semantics - Lecture Notes in Computer Science
Mikael Pettersson
Introduces the meta-language RML as a practical tool for natural semantics specifications. This work examines the problem of compiling natural semantics into efficient code and thus develops a compilation strategy for RML, using the rml2c compiler to produce low-level, but fast-working C code.
246 pages, biography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 5 maj 1999 |
| ISBN13 | 9783540659686 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 246 |
| Mått | 156 × 234 × 14 mm · 371 g |
| Språk | Tyska |
| Redaktör | Pettersson, Mikael |