|
 |
|
|
|
1 - 10 von 78
  |
|
 |
Ihre Aktion |
suchen [und] sys inf 426.3
|
|
|
|
|
 |
1. |
Software languages : syntax, semantics, and metaprogramming
/ Lämmel, Ralf *1968-*. - Cham, Switzerland : Springer, [2018]
|
|
|
|
2. |
Practical foundations for programming languages
/ Harper, Robert *1957-*. - 2. Edition. - New York NY : Cambridge University Press, 2016
|
|
|
|
3. |
Reactive Kripke semantics
/ Gabbay, Dov M. *1945-*. - Berlin : Springer, 2013
|
|
|
|
4. |
Practical foundations for programming languages
/ Harper, Robert *1957-*. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 2013
|
|
|
|
5. |
Formale Grundlagen der Programmierung
/ Nebel, Markus *1969-*. - Wiesbaden : Springer Vieweg, 2012
|
|
|
|
6. |
Mathematical aspects of logic programming semantics
/ Hitzler, Pascal. - Boca Raton, Fla. [u.a.] : Chapman & Hall/ CRC, 2011
|
|
|
|
7. |
Logics of specification languages
/ Bjoerner, Dines. - Berlin : Springer, 2008
|
|
|
|
8. |
Parsing techniques : a practical guide
/ Grune, Dick *1939-*. - 2. ed. - New York, NY : Springer, 2008
|
|
|
|
9. |
Semantics with applications : an appetizer
/ Nielson, Hanne Riis *1954-*. - London : Springer, 2007
|
|
|
|
10. |
Fundamentals of algebraic graph transformation
/ Ehrig, Hartmut *1944-2016*. - Berlin : Springer, 2006
|
|
|
|
|
|
|
1 - 10 von 78
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| inf 426.3 |
|
[SYS] Systematiken |
|
234 |
|
|
|
|
|
|
|
1 - 10 von 78
|
|
|
