Logical Frameworks
Gerard Huet, G. Plotkin, Rocquencourt) Huet, Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA), G. (University of Edinburgh) Plotkin
Inbunden
1 539 kr
Semantics of Data Types
International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
Häftad, Engelska, 1984
499 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum1984-06-01
- Mått155 x 235 x 22 mm
- Vikt610 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor396
- Upplaga1984
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540133469