1. Kauppapaikat.net
  2. Kirjat
  3. A kernel language for unified code synthesis

Aiheet

kuvauskieletohjelmointikielet

Painostiedot

Kustantaja
Turku Centre for Computer Science
Julkaisuvuosi
2005
Muoto
Painettu kirja
Sivumäärä
210
Koko
25 cm
Sarja
TUCS dissertations no 58
ISBN
97895212147839521214783
Lähde
Fennica

Tarjoukset

1 aktiivinen tarjous

Finlandia KirjaKäytetyn kirjan verkkokauppa
KäytettyToimitusaika 4 päivää
14,00 €
Katso kaupassa

Samankaltaisia kirjoja

Lisää luettavaa saman kirjailijan, sarjan tai aiheiden perusteella

Samankaltainen teos Program variables Viorel Preoteasa the core of mechanical reasoning about imperative programs 2006 Alkaen 18,00 € Tutustu
Samankaltainen teos Formal design and verification of systems using domain-specific languages Pontus Boström 2008 Alkaen 14,00 € Tutustu
Samankaltainen teos A metamodeling framework for software engineering Turku Centre for Computer Science ym. 2007 Alkaen 35,00 € Tutustu
Samankaltainen teos Modeling with action systems Luigia Petre 2005 Alkaen 15,00 € Tutustu
Samankaltainen teos Java Kris Jamsa : Java ohjelmoinnin perusteet 1997 Alkaen 9,50 € Tutustu
Samankaltainen teos Mechanized reasoning for dually-nondeterministic and probabilistic programs Orieta Celiku 2006 Alkaen 14,00 € Tutustu