Formal Semantics of Programming Languages : Introduction

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://schema.org/Book

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/806781523#Topic/langage_programmation
http://experiment.worldcat.org/entity/work/data/806781523#Topic/langage_de_programmation_semantique
http://experiment.worldcat.org/entity/work/data/806781523#Topic/lenguajes_de_programacion_computadores_electronicos_semantica
http://experiment.worldcat.org/entity/work/data/806781523#Topic/formale_semantik
http://experiment.worldcat.org/entity/work/data/806781523#Topic/teoria_dei_linguaggi_informatica
http://id.loc.gov/authorities/subjects/sh85107316
http://experiment.worldcat.org/entity/work/data/806781523#Topic/informatique_mathematique
http://experiment.worldcat.org/entity/work/data/806781523#Topic/theorie_des_langages_informatique
http://experiment.worldcat.org/entity/work/data/806781523#Topic/linguaggio_di_programmazione_semantica
http://experiment.worldcat.org/entity/work/data/806781523#Topic/lenguajes_de_programacion_semantica
http://experiment.worldcat.org/entity/work/data/806781523#Topic/elaboratori_elettronici_linguaggi_semantica
http://experiment.worldcat.org/entity/work/data/806781523#Topic/programmering
http://experiment.worldcat.org/entity/work/data/806781523#Topic/equation_recursive
http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantica
http://experiment.worldcat.org/entity/work/data/806781523#Topic/programozasi_nyelv_szemantika
http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantik
http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantik_informatik_programmiersprache
http://experiment.worldcat.org/entity/work/data/806781523#Topic/induction
http://experiment.worldcat.org/entity/work/data/806781523#Topic/theorie_domaine
http://experiment.worldcat.org/entity/work/data/806781523#Topic/programmiersprache_semantik_informatik
http://experiment.worldcat.org/entity/work/data/806781523#Topic/programmeertalen
http://experiment.worldcat.org/entity/work/data/806781523#Topic/programmiersprache
http://experiment.worldcat.org/entity/work/data/806781523#Topic/einfuhrung
http://experiment.worldcat.org/entity/work/data/806781523#Topic/lenguajes_de_programacion_ordenadores_semantica
http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique
http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_denotationnelle
http://experiment.worldcat.org/entity/work/data/806781523#Topic/langage_de_programmation
http://experiment.worldcat.org/entity/work/data/806781523#Topic/lambda_calcul
http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_langage_programmation
http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_naturelle
http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantiek
http://experiment.worldcat.org/entity/work/data/806781523#Topic/recursion
http://id.worldcat.org/fast/1078716
http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_formelle
http://experiment.worldcat.org/entity/work/data/806781523#Topic/jezyki_programowania_semantyka
http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_operationnelle
http://experiment.worldcat.org/entity/work/data/806781523#Topic/theoreme_godel
http://experiment.worldcat.org/entity/work/data/806781523#Topic/programming_languages_electronic_computers_semantics
http://experiment.worldcat.org/entity/work/data/806781523#Topic/programmation_parallele
http://experiment.worldcat.org/entity/work/data/806781523#Topic/llenguatges_de_programacio_semantica
http://experiment.worldcat.org/entity/work/data/806781523#Topic/langages_de_programmation_semantique

http://schema.org/alternateName

"Formal semantics of programming languages"@it

http://schema.org/author

http://worldcat.org/entity/person/id/2634168402
http://worldcat.org/entity/person/id/2704712232

http://schema.org/contributor

http://worldcat.org/entity/person/id/2634168402
http://worldcat.org/entity/person/id/2635892909
http://worldcat.org/entity/person/id/2632566272

http://schema.org/creator

http://worldcat.org/entity/person/id/2634168402

http://schema.org/name

"Formal Semantics of Programming Languages : Introduction"@en
"The formal semantics of programming languages : an introduction"@en
"The formal semantics of programming languages : an introduction"
"The formal semantics of programming languages"
"La semantica formale dei linguaggi di programmazione : un'introduzione"
"La semantica formale dei linguaggi di programmazione : un'introduzione"@it
"The Formal semantics of programming languages : an introduction"
"The formal semantics of programming languages : n introduction"
"The formal semantics of programming languages an introduction"

http://schema.org/workExample

http://www.worldcat.org/oclc/801133013
http://www.worldcat.org/oclc/797614349
http://www.worldcat.org/oclc/750543198
http://www.worldcat.org/oclc/857967148
http://www.worldcat.org/oclc/476683194
http://www.worldcat.org/oclc/848027031
http://www.worldcat.org/oclc/635975451
http://www.worldcat.org/oclc/750874280
http://www.worldcat.org/oclc/813417380
http://www.worldcat.org/oclc/802425722
http://www.worldcat.org/oclc/263296945
http://www.worldcat.org/oclc/850794099
http://www.worldcat.org/oclc/248058743
http://www.worldcat.org/oclc/258636492
http://www.worldcat.org/oclc/278054086
http://www.worldcat.org/oclc/760578398
http://www.worldcat.org/oclc/902518330
http://www.worldcat.org/oclc/468440849
http://www.worldcat.org/oclc/908957507
http://www.worldcat.org/oclc/473174513
http://www.worldcat.org/oclc/494830683
http://www.worldcat.org/oclc/318434854
http://www.worldcat.org/oclc/827009813
http://www.worldcat.org/oclc/912103788
http://www.worldcat.org/oclc/26764522
http://www.worldcat.org/oclc/246323906
http://www.worldcat.org/oclc/797510010
http://www.worldcat.org/oclc/257997570

Einführung.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Einführung."